diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.0-docs.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.0-docs.patch | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.0-docs.patch b/dev-lang/mercury/files/mercury-0.13.0-docs.patch deleted file mode 100644 index b1908ab32afc..000000000000 --- a/dev-lang/mercury/files/mercury-0.13.0-docs.patch +++ /dev/null @@ -1,20 +0,0 @@ ---- mercury-compiler-0.13.0.orig/doc/Mmakefile 2006-03-29 13:35:18.000000000 +1200 -+++ mercury-compiler-0.13.0/doc/Mmakefile 2006-09-16 12:34:15.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 - - #-----------------------------------------------------------------------------# -@@ -331,7 +331,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 - |