From 93afde486145989a11769246cb208e6209e34f45 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 22 Sep 2006 19:26:01 +0000 Subject: Fix typo. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index af1dd4e3..d7f32c78 100644 --- a/Makefile +++ b/Makefile @@ -47,7 +47,7 @@ PERL_SCRIPTS = lego/legotags coq/coqtags isar/isartags PG_SCRIPTS = bin/proofgeneral # Scripts to install to bin directory -BIN_SCRIPTS = bin/proofgeneral lego/legotags coq/cogtags isar/isartags +BIN_SCRIPTS = bin/proofgeneral lego/legotags coq/coqtags isar/isartags # FIXME: would rather set load path in Elisp, # but seems tricky to do only during compilation. -- cgit v1.2.3