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, 0 insertions, 21 deletions
diff --git a/mail/mutt14/files/patch-doc-Makefile.in b/mail/mutt14/files/patch-doc-Makefile.in deleted file mode 100644 index afeadc06b9d4..000000000000 --- a/mail/mutt14/files/patch-doc-Makefile.in +++ /dev/null @@ -1,21 +0,0 @@ ---- 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 |