From: Jarosław Kruk Date: Fri, 2 Aug 2002 16:23:40 +0000 (+0000) Subject: - gzipped mutt manual could be loaded with 'F1' key X-Git-Tag: mutt-1_4-2~1 X-Git-Url: https://git.pld-linux.org/?p=packages%2Fmutt.git;a=commitdiff_plain;h=1f481659d6e7c4c9ca118e8e07987b2dfcdecf9d;ds=sidebyside - gzipped mutt manual could be loaded with 'F1' key Changed files: mutt-manual.patch -> 1.1 --- diff --git a/mutt-manual.patch b/mutt-manual.patch new file mode 100644 index 0000000..cdb249f --- /dev/null +++ b/mutt-manual.patch @@ -0,0 +1,16 @@ +diff -urN mutt-1.4.orig/Muttrc.head.in mutt-1.4/Muttrc.head.in +--- mutt-1.4.orig/Muttrc.head.in Mon Mar 20 11:25:49 2000 ++++ mutt-1.4/Muttrc.head.in Thu Aug 1 21:48:21 2002 +@@ -15,9 +15,9 @@ + macro pager \cb |urlview\n 'call urlview to extract URLs out of a message' + + # Show documentation when pressing F1 +-macro generic "!less @docdir@/manual.txt\n" "Show Mutt documentation" +-macro index "!less @docdir@/manual.txt\n" "Show Mutt documentation" +-macro pager "!less @docdir@/manual.txt\n" "Show Mutt documentation" ++macro generic "!less @docdir@/manual.txt.gz\n" "Show Mutt documentation" ++macro index "!less @docdir@/manual.txt.gz\n" "Show Mutt documentation" ++macro pager "!less @docdir@/manual.txt.gz\n" "Show Mutt documentation" + + # If Mutt is unable to determine your site's domain name correctly, you can + # set the default here.