diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 15:36:32 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-29 15:36:32 +0000 |
| commit | 677e94838915dd4cacd3ad70c5da90b3730eddbc (patch) | |
| tree | ef2938b8cb19aa2145baa073f26c0b9da2d5f0d3 /Makefile.devel | |
| parent | 16028685708a1970794dc72afe3fce64b9d21942 (diff) | |
Added tags target
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 0595cfa4..4efe9414 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -87,13 +87,18 @@ DEVELRELEASENAMETARGZ = $(DEVELRELEASENAMETAR).gz # Files not kept under cvs to clean away. -FILES_NONCVS = ChangeLog +FILES_NONCVS = ChangeLog TAGS # Where to install a distribution # DISTINSTALLDIR=/usr/local/share/elisp/proofgeneral # value for dcs.ed.ac.uk: DISTINSTALLDIR=/export/local/share/elisp +# Copied from distributed Makefile +ELISP_DIRS=generic lego coq isa +EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) +ELC=$(EL:.el=.elc) + FORCE: @@ -103,6 +108,14 @@ FORCE: alldist: alldocs +############################################################ +# +# Make tags file +# +tags: $(ELC) + etags $(EL) > TAGS + + ############################################################ # |