From: Matt Birkholz <matt@birchwood-abbey.net>
Date: Tue, 7 Nov 2017 00:56:15 +0000 (-0700)
Subject: user-manual: Replace .menu with .desktop.
X-Git-Tag: mit-scheme-pucked-9.2.12~18
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=2dc6daa327b37a69cdcc67079ed622a61b561d28;p=mit-scheme.git

user-manual: Replace .menu with .desktop.
---

diff --git a/doc/user-manual/user.texinfo b/doc/user-manual/user.texinfo
index 307c5ca4e..6ef26e691 100644
--- a/doc/user-manual/user.texinfo
+++ b/doc/user-manual/user.texinfo
@@ -3963,10 +3963,10 @@ Users may also want to use the following enhancements in their code.
 
 @itemize @bullet
 @item
-The Debian packaging includes a @file{.menu} file in
+The Debian packaging includes a @file{.desktop} file in
 @url{freedesktop.org} format.  In the right place it makes this Scheme
 available through an icon (a lambda holding a fountain pen) in a
-@file{.menu} aware application launcher.
+@file{.desktop} aware application launcher.
 
 @item
 The installation process includes HTML documentation by default.  In