diff options
Diffstat (limited to 'dev-lang/mercury/files/mercury-0.13.0_beta-docs.patch')
| -rw-r--r-- | dev-lang/mercury/files/mercury-0.13.0_beta-docs.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/dev-lang/mercury/files/mercury-0.13.0_beta-docs.patch b/dev-lang/mercury/files/mercury-0.13.0_beta-docs.patch new file mode 100644 index 000000000000..7f998b6a9159 --- /dev/null +++ b/dev-lang/mercury/files/mercury-0.13.0_beta-docs.patch @@ -0,0 +1,20 @@ +--- mercury-compiler-0.13.0-beta-2006-04-03.orig/doc/Mmakefile 2006-03-29 13:35:18.000000000 +1200 ++++ mercury-compiler-0.13.0-beta-2006-04-03/doc/Mmakefile 2006-04-04 22:45:41.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 + |