From 06f7dafd769e7ef29452e7491ca87d5f374a3149 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 4 Oct 2005 08:02:14 +0000
Subject: Make install-bin also install Isabelle and Lego scripts

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 50c0481c..ffe553ea 100644
--- a/Makefile
+++ b/Makefile
@@ -33,11 +33,15 @@ EXTRA_DIRS = images x-symbol
 
 BATCHEMACS=${EMACS} -batch -q -no-site-file
 
-BASH_SCRIPTS = isa/interface isar/interface bin/proofgeneral
+# Scripts to edit paths to shells
+BASH_SCRIPTS = isar/interface bin/proofgeneral
 PERL_SCRIPTS = lego/legotags coq/coqtags
-BIN_SCRIPTS = bin/proofgeneral
+# Scripts to edit path to PG
 PG_SCRIPTS = bin/proofgeneral
 
+# Scripts to install to bin directory
+BIN_SCRIPTS = ${BASH_SCRIPTS} ${PERL_SCRIPTS}
+
 # FIXME: would rather set load path in Elisp,
 # but seems tricky to do only during compilation.
 # Another idea: put a function in proof-site to
-- 
cgit v1.2.3