diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-10.04.1-docs.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-10.04.1-docs.patch | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/dev-lang/mercury/files/mercury-10.04.1-docs.patch b/dev-lang/mercury/files/mercury-10.04.1-docs.patch deleted file mode 100644 index c50d1d455599..000000000000 --- a/dev-lang/mercury/files/mercury-10.04.1-docs.patch +++ /dev/null @@ -1,21 +0,0 @@ -diff -ur mercury-compiler-10.04.1.orig/doc/Mmakefile mercury-compiler-10.04.1/doc/Mmakefile ---- mercury-compiler-10.04.1.orig/doc/Mmakefile 2010-07-07 01:42:07.000000000 +1200 -+++ mercury-compiler-10.04.1/doc/Mmakefile 2010-09-05 09:13:40.000000000 +1200 -@@ -120,7 +120,7 @@ - # formatted versions of the man pages. - # But it might make sense to add them. - .PHONY: all --all: $(INFOPAGES) $(DVI) $(HTML) manpages $(MDB_DOC) -+all: $(INFOPAGES) $(HTML) manpages $(MDB_DOC) - #all: ps pdf text formatted_manpages - - #-----------------------------------------------------------------------------# -@@ -351,7 +351,7 @@ - # versions of the documentation. If they are added they should - # be installed here. - .PHONY: install --install: install_info install_html install_dvi install_manpages \ -+install: install_info install_html install_manpages \ - install_mdb_doc - # install_text install_ps - |