[m-rev.] trivial diff: don't include autoconf cache in source distribution

[Ben Schmidt]

> If tidying up == getting the source distribution working again, then yes,
> that's what we're doing.

'=='? That's very imperative style! :-p

> Yes, the pdf files should be the .cvsignore file - feel free to fix that 
> ;-)

Done.

Ben.



Estimated hours taken: 0
Branches: main

doc/.cvsignore:
	Added *.pdf to .cvsignore as these are auto-generated files.



Index: .cvsignore
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/doc/.cvsignore,v
retrieving revision 1.8
diff -u -r1.8 .cvsignore
--- .cvsignore	6 Oct 2001 09:34:38 -0000	1.8
+++ .cvsignore	10 Jan 2007 14:19:03 -0000
@@ -2,6 +2,7 @@
  *.text
  *.info *.info-*
  *.html
+*.pdf
  *.texi_pp
  *.aux *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr *.ps *.dvi *.dvi_log
  *.cps *.fns *.kys *.pgs *.tps *.vrs



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