diff options
Diffstat (limited to 'mail/mutt-devel/files/extra-patch-doc-xml')
-rw-r--r-- | mail/mutt-devel/files/extra-patch-doc-xml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/mail/mutt-devel/files/extra-patch-doc-xml b/mail/mutt-devel/files/extra-patch-doc-xml new file mode 100644 index 000000000000..60e38afca3f3 --- /dev/null +++ b/mail/mutt-devel/files/extra-patch-doc-xml @@ -0,0 +1,11 @@ +--- doc/Makefile.in.orig2 Sat Feb 2 18:30:27 2002 ++++ doc/Makefile.in Sat Feb 2 18:32:39 2002 +@@ -60,7 +60,7 @@ + topsrcdir_DOCFILES = COPYRIGHT GPL INSTALL ChangeLog \ + README NEWS TODO README.SECURITY README.SSL + +-all: mutt.1 muttrc.man ++all: mutt.1 muttrc.man manual.html stamp-doc-chunked manual.txt + + try-html: ../makedoc + rm -f *.html && $(MAKE) manual.html || cp $(srcdir)/manual*.html ./ |