diff options
| author | David Aspinall | 2003-03-17 17:07:30 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-03-17 17:07:30 +0000 |
| commit | 73a1115343fef783316de93d7d2d71aac6f9d1ae (patch) | |
| tree | 6287571e212a8dbff7dbcb732fdd3841169c92b6 /Makefile.devel | |
| parent | 116cb433b17154d3d6297a89e56b6d467655b9dc (diff) | |
TAGS in devel release only
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index 0bc2a53a..42a72f2e 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -159,7 +159,7 @@ NONDISTFILES=.cvsignore */.cvsignore html Makefile.devel Makefile.xemacs doc/not # 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*/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/*/todo etc/TESTS +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/*/todo etc/TESTS # Temporary directory to to build a distribution in DISTBUILDIR = /tmp/ProofGeneralRelease @@ -183,7 +183,7 @@ DEVELRELEASENAMETAR = $(DEVELRELEASENAME).tar DEVELRELEASENAMETARGZ = $(DEVELRELEASENAMETAR).gz # Files not kept under cvs to clean away. -FILES_NONCVS = TAGS +# FILES_NONCVS = TAGS # Where to install a distribution # DISTINSTALLDIR=/usr/local/share/elisp/proofgeneral @@ -266,7 +266,7 @@ distclean: clean # cvsclean: clean @echo "***** CLEANING UP ALL NON-CVS FILES ****" - rm -rf $(FILES_NONCVS) +# rm -rf $(FILES_NONCVS) (cd doc; $(MAKE) distclean) (cd images; $(MAKE) cvsclean) |