From 67176f93132dc0f12732fdcade7859a2d4bcde2f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 26 Nov 1998 14:50:41 +0000
Subject: Quotes added to try to fix markup.

---
 generic/proof-site.el | 4 ++--
 1 file 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)
-- 
cgit v1.2.3