From b931b2d22f5be808400e8ec93d3f54176716c93c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 1 Dec 2004 22:39:42 +0000 Subject: Name change of TODO/BUGS files --- Makefile.devel | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile.devel') diff --git a/Makefile.devel b/Makefile.devel index 16a369ab..8f2fb1ad 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -172,7 +172,7 @@ NONDISTFILES=.cvsignore */.cvsignore Makefile.devel Makefile.xemacs doc/notes.tx # NB: these are *patterns* to exclude rather than files! # I would rather have files themselves to exclude, but # seems to be no way. -IGNOREDFILES=ProofGeneral*/TAGS ProofGeneral*/Makefile.devel ProofGeneral*/todo* ProofGeneral*/bugs ProofGeneral*/ChangeLog* ProofGeneral*/doc/ProofGeneral.dvi ProofGeneral*/doc/ProofGeneral.ps.gz ProofGeneral*/doc/ProofGeneral.pdf ProofGeneral*/doc/PG-adapting.ps.gz ProofGeneral*/doc/PG-adapting.pdf ProofGeneral*/doc/docstring-magic.el ProofGeneral*/*/todo ProofGeneral*/etc/TESTS ProofGeneral*/*.cvsignore ProofGeneral*/*/*.cvsignore +IGNOREDFILES=ProofGeneral*/TAGS ProofGeneral*/Makefile.devel ProofGeneral*/TODO.* ProofGeneral*/BUGS.* ProofGeneral*/ChangeLog* ProofGeneral*/doc/ProofGeneral.dvi ProofGeneral*/doc/ProofGeneral.ps.gz ProofGeneral*/doc/ProofGeneral.pdf ProofGeneral*/doc/PG-adapting.ps.gz ProofGeneral*/doc/PG-adapting.pdf ProofGeneral*/doc/docstring-magic.el ProofGeneral*/*/todo ProofGeneral*/etc/TESTS ProofGeneral*/*.cvsignore ProofGeneral*/*/*.cvsignore # Temporary directory to to build a distribution in DISTBUILDIR = /tmp/ProofGeneralRelease @@ -233,7 +233,7 @@ alldist: distcompile distdocs # ETAGS=etags tags: $(EL) - $(ETAGS) $(EL) todo doc/ProofGeneral.texi doc/PG-adapting.texi > TAGS + $(ETAGS) $(EL) TODO.developer doc/ProofGeneral.texi doc/PG-adapting.texi > TAGS -- cgit v1.2.3