--- mercury-compiler-10.04-beta.orig/doc/Mmakefile	2009-10-02 17:38:22.000000000 +1300
+++ mercury-compiler-10.04-beta/doc/Mmakefile	2010-02-10 05:45:10.000000000 +1300
@@ -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