From 677e94838915dd4cacd3ad70c5da90b3730eddbc Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 29 Oct 1998 15:36:32 +0000
Subject: Added tags target

---
 Makefile.devel | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

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
+
+
 
 ############################################################
 #
-- 
cgit v1.2.3