From 2dc6daa327b37a69cdcc67079ed622a61b561d28 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Mon, 6 Nov 2017 17:56:15 -0700 Subject: [PATCH] user-manual: Replace .menu with .desktop. --- doc/user-manual/user.texinfo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.25.1