diff options
Diffstat (limited to 'mail/mutt14/files/patch-doc-Makefile.in')
-rw-r--r-- | mail/mutt14/files/patch-doc-Makefile.in | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/mail/mutt14/files/patch-doc-Makefile.in b/mail/mutt14/files/patch-doc-Makefile.in new file mode 100644 index 000000000000..afeadc06b9d4 --- /dev/null +++ b/mail/mutt14/files/patch-doc-Makefile.in @@ -0,0 +1,21 @@ +--- doc/Makefile.in.orig 2007-05-23 03:17:52.000000000 +0200 ++++ doc/Makefile.in 2014-05-13 08:16:43.000000000 +0200 +@@ -98,18 +98,6 @@ + -rm -rf $(DESTDIR)$(docdir) + + check: +-manual.txt: manual.sgml +- if sgml2txt -c latin manual ; then \ +- uniq < manual.txt | expand > _manual.txt ; \ +- rm manual.txt ; \ +- mv _manual.txt manual.txt ;\ +- fi +- +-manual.html: manual.sgml +- sgml2html manual || true +- +-manual.ps: manual.sgml +- sgml2latex --output=ps manual || true + + clean: + rm -f *~ *.html *.orig *.rej stamp-doc-sgml stamp-doc-man *.ps |