diff options
| author | David Aspinall | 1998-09-24 17:34:14 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 17:34:14 +0000 |
| commit | 017bab50a8639f0d7bbc12c738d174911ca1a987 (patch) | |
| tree | f23930a04a65deaf115cb2a71ccc9c8843304a54 /etc/ProofGeneral.patch | |
| parent | 65c84829d0c5748dbf104331f4c72ebb963408ba (diff) | |
Moved info file and binaries to proper places.
Diffstat (limited to 'etc/ProofGeneral.patch')
| -rw-r--r-- | etc/ProofGeneral.patch | 28 |
1 files changed, 23 insertions, 5 deletions
diff --git a/etc/ProofGeneral.patch b/etc/ProofGeneral.patch index 0f7bf186..1a976fc2 100644 --- a/etc/ProofGeneral.patch +++ b/etc/ProofGeneral.patch @@ -5,12 +5,12 @@ diff -cr ProofGeneral-2.0/coq/coqtags ProofGeneral-2.0.new/coq/coqtags *** 1,4 **** ! #!/usr/local/bin/perl4 # - # $Id: coqtags,v 2.1 1998/09/09 14:02:29 da Exp $ + # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ # --- 1,4 ---- ! #!/usr/bin/perl # - # $Id: coqtags,v 2.1 1998/09/09 14:02:29 da Exp $ + # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ # diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags *** ProofGeneral-2.0/lego/legotags Thu Sep 24 16:36:30 1998 @@ -19,11 +19,29 @@ diff -cr ProofGeneral-2.0/lego/legotags ProofGeneral-2.0.new/lego/legotags *** 1,4 **** ! #!/usr/local/bin/perl # - # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $ + # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ # --- 1,4 ---- ! #!/usr/bin/perl # - # $Id: legotags,v 2.1 1998/09/09 14:02:46 da Exp $ + # $Id: ProofGeneral.patch,v 1.1 1998/09/24 16:47:51 da Exp $ # - +*** ProofGeneral-2.0/generic/proof-site.el Thu Sep 24 18:17:33 1998 +--- ProofGeneral-2.0.new/generic/proof-site.el Thu Sep 24 18:17:43 1998 +*************** +*** 60,66 **** + :group 'proof-general) + + (defcustom proof-info-dir +! (concat proof-home "doc/") + "*Where Proof General Info files are installed." + :type 'directory + :group 'proof-general) +--- 60,66 ---- + :group 'proof-general) + + (defcustom proof-info-dir +! "/usr/info/" + "*Where Proof General Info files are installed." + :type 'directory + :group 'proof-general)
\ No newline at end of file |