From 6f1c58ac0df83b7c91ea2b0ca2076bef07e5de7d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 25 Aug 2004 11:27:40 +0000 Subject: Add lib to elisp paths. Name ETAGS program. --- Makefile.devel | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'Makefile.devel') diff --git a/Makefile.devel b/Makefile.devel index 5296d8fb..5a59a303 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -6,7 +6,7 @@ ## ## Maintainer: Proof General maintainer ## -## Developer use only, not part of distribution. +## Developer use only, not part of user distribution. ## ## make clean - remove intermediate files ## make distclean - remove all generated files @@ -201,12 +201,12 @@ RELEASENAMERPM = $(RELEASENAME)-1.noarch.rpm DISTINSTALLDIR=/export/local/share/elisp # Copied from distributed Makefile -ELISP_DIRS=acl2 coq demoisa generic hol98 isa isar lclam lego mmm phox plastic twelf +ELISP_DIRS=acl2 coq demoisa generic hol98 isa isar lclam lego lib mmm phox plastic twelf SUBDIRS=$(ELISP_DIRS) etc doc images PWD=$(shell pwd) -BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa" "$(PWD)/isar") load-path))' -f batch-byte-compile +BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lib" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa" "$(PWD)/isar") load-path))' -f batch-byte-compile EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) ELC=$(EL:.el=.elc) @@ -231,8 +231,9 @@ alldist: distcompile distdocs # # Make tags file # +ETAGS=etags tags: $(EL) - etags $(EL) todo doc/ProofGeneral.texi doc/PG-adapting.texi > TAGS + $(ETAGS) $(EL) todo doc/ProofGeneral.texi doc/PG-adapting.texi > TAGS -- cgit v1.2.3