diff options
| author | David Aspinall | 1998-11-26 14:50:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-26 14:50:41 +0000 |
| commit | 67176f93132dc0f12732fdcade7859a2d4bcde2f (patch) | |
| tree | bec9078c51769cc9a85e65462b088ee5015c52a0 /generic | |
| parent | 66d432faf1a8dfcaa684ab949c8a978684a6b5be (diff) | |
Quotes added to try to fix markup.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-site.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index dedf0e14..bf8a7551 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -72,8 +72,8 @@ variable proof-home-directory." (file-name-directory (buffer-file-name))))) (file-name-directory (substring curdir 0 -1)))) "Directory where Proof General is installed. Ends with slash. -Default value taken from environment variable PROOFGENERAL_HOME if set, -otherwise based on where the file proof-site was loaded from. +Default value taken from environment variable `PROOFGENERAL_HOME' if set, +otherwise based on where the file `proof-site.el' was loaded from. You can use customize to set this variable." :type 'directory :group 'proof-general-internals) |