[m-rev.] trivial diff: fix mmake doc/realclean

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main, release

doc/Mmakefile:
	Remove the automatically generated mercury.info and mercury.html
	files in the `realclean' target.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.28
diff -u -u -r1.28 Mmakefile
--- Mmakefile	3 Oct 2001 11:37:51 -0000	1.28
+++ Mmakefile	6 Oct 2001 08:59:17 -0000
@@ -340,6 +340,7 @@
 realclean_texi:
 	rm -f library*.html user_guide*.html reference_manual*.html
 	rm -f faq*.html transition_guide*.html
+	rm -f mercury.html mercury.info
 	rm -f mercury_*.info* *.dvi *.text *.ps
 
 .PHONY: realclean_manpages
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------