[m-rev.] for review: ignore exit status of texi2dvi

[Peter Wang]

Estimated hours taken: 0
Branches: main

doc/Mmakefile:
	Ignore exit status of `texi2dvi' for systems with `texi2dvi' but not
	TeX.

Index: doc/Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.50
diff -u -r1.50 Mmakefile
--- doc/Mmakefile	22 Aug 2007 06:40:55 -0000	1.50
+++ doc/Mmakefile	6 Dec 2007 04:05:16 -0000
@@ -75,7 +75,8 @@
 .SUFFIXES: .in .texi_pp .texi .dvi_log .ps .pdf .text
 
 %.dvi_log: %.texi_pp
-	$(TEXI2DVI) $< > $*.dvi_log
+	# Ignore the error in case `texi2dvi' exists but not TeX.
+	-$(TEXI2DVI) $< > $*.dvi_log
 
 %.ps: %.dvi
 	$(DVIPS) -f < $< > $@

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------