diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-12-01 22:39:42 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-12-01 22:39:42 +0000 |
commit | b931b2d22f5be808400e8ec93d3f54176716c93c (patch) | |
tree | ea204e0cc6bf2f0c5fae6af4b87483d93ea7028a /Makefile.devel | |
parent | ee9fbb707100dd2e05132c75dc0f8bee26e666bf (diff) |
Name change of TODO/BUGS files
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 4 |
1 files changed, 2 insertions, 2 deletions
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 |