[m-rev.] trivial diff: fix doc cleanup

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main, release

doc/Mmakefile:
	Remove the generated *.cps files.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/Mmakefile,v
retrieving revision 1.31
diff -u -u -r1.31 Mmakefile
--- Mmakefile	13 May 2002 08:09:39 -0000	1.31
+++ Mmakefile	29 Nov 2002 07:05:25 -0000
@@ -332,7 +332,7 @@
 
 .PHONY: distclean
 distclean:
-	rm -f *.aux *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr
+	rm -f *.aux *.cp *.cps *.fn *.ky *.log *.pg *.toc *.tp *.vr
 
 .PHONY: clean_texi
 clean_texi:
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------