[m-rev.] for review: fix doc/Mmakefile

[Zoltan Somogyi]

doc/Mmakefile:
	Fix an annoyance: if TEXI2DVI is autoconfigured to a command (such
	as pdflatex) that generates PDFs instead of dvi files, then every make
	in the doc directory remakes a bunch of files, even if they are already
	up to date, because make thinks the dvi files are missing. This diff
	makes the Mmakefile care only about whether TEXI2DVI was run, not
	whether it generates .dvi files.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.42
diff -u -b -r1.42 Mmakefile
--- Mmakefile	28 Jun 2006 08:10:54 -0000	1.42
+++ Mmakefile	12 Oct 2006 06:40:27 -0000
@@ -72,9 +72,9 @@
 
 #-----------------------------------------------------------------------------#
 
-.SUFFIXES: .in .texi_pp .texi .dvi .ps .pdf .text
+.SUFFIXES: .in .texi_pp .texi .dvi_log .ps .pdf .text
 
-%.dvi: %.texi_pp
+%.dvi_log: %.texi_pp
 	$(TEXI2DVI) $< > $*.dvi_log
 
 %.ps: %.dvi
@@ -126,7 +126,7 @@
 #-----------------------------------------------------------------------------#
 
 .PHONY: dvi
-dvi: $(TEXINFO_FILES:%=%.dvi)
+dvi: $(TEXINFO_FILES:%=%.dvi_log)
 
 .PHONY: warn_no_dvi
 warn_no_dvi: 
@@ -315,7 +315,7 @@
 		esac;							\
 	done > library-chapters.texi_pp
 
-library.dvi library_toc.html library_1.html mercury_library.info \
+library.dvi_log library_toc.html library_1.html mercury_library.info \
 		mercury_library.html mercury_library/index.html: \
 	library-menu.texi_pp library-chapters.texi_pp
 
@@ -375,6 +375,8 @@
 
 .PHONY: install_dvi
 install_dvi: $(DVI) install_dirs
+	# It is possible that there are no .dvi files here,
+	# if the TEXI2DVI command generates PDF directly.
 	-cp *.dvi $(INSTALL_DVI_DIR)
 
 .PHONY: install_text
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------