[m-rev.] for review: overfull hboxes

Zoltan Somogyi zs at cs.mu.OZ.AU
Fri Jun 1 18:53:15 AEST 2001

	Redirect the standard output of the commands to make .dvi files to a
	separate file. In effect, the complaints about overfull hboxes are
	shunted to this file. Complaints about missing Up fields are not
	affected, since they are on standard error.


cvs diff: Diffing .
Index: Mmakefile
RCS file: /home/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.24
diff -u -b -r1.24 Mmakefile
--- Mmakefile	2001/05/31 06:00:00	1.24
+++ Mmakefile	2001/06/01 08:45:31
@@ -53,7 +53,7 @@
 .SUFFIXES: .texi .dvi .ps .text
 %.dvi: %.texi
-	$(TEXI2DVI) $<
+	$(TEXI2DVI) $< > `basename $< .texi`.dvi_log
 %.ps: %.dvi
 	$(DVIPS) -f < $< > $@
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe

More information about the reviews mailing list