From 98ce8cbe37d8206f2e0c08a918997b196eeea3a1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 25 Oct 1999 12:48:32 +0000
Subject: Added ProofGeneral.texi to tags target.

---
 Makefile.devel | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.devel b/Makefile.devel
index 0d5198c9..27e9756b 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -168,8 +168,8 @@ alldist:	distdocs
 #
 # Make tags file
 #
-tags:	$(ELC)
-	etags $(EL) > TAGS
+tags:	$(EL)
+	etags $(EL) doc/ProofGeneral.texi > TAGS
 
 
 
-- 
cgit v1.2.3