diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 11:27:40 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-25 11:27:40 +0000 |
| commit | 6f1c58ac0df83b7c91ea2b0ca2076bef07e5de7d (patch) | |
| tree | 0d878d1c715f1869b8d3a1970ed361d4d7f389d9 /Makefile.devel | |
| parent | 2b2208fd9e507fad7aa93c92f85bc51f4f145f92 (diff) | |
Add lib to elisp paths. Name ETAGS program.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 9 |
1 files changed, 5 insertions, 4 deletions
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 <da+pg-support@inf.ed.ac.uk> ## -## 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 |