blob: c50d1d455599302de8b246f7d80bcbc06a586117 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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
|
GitWeb
