diff options
| author | Hendrik Tews | 2021-01-25 10:44:32 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | dfb51f30c7af1afdf563f7fd8c4d23e653432dd1 (patch) | |
| tree | b6d423a81bd9340df4a9263c3675d295c9e5dc27 /generic/proof-site.el | |
| parent | 0440589e579fba52c0248477cde08b93f9e4cb76 (diff) | |
fix typos and unicode single quotations in doc strings
Backported those typos that were fixed only in the manual texi
sources and not in the doc strings, from which the text was
imported. Convert a few symbols quoted with curved unicode single
quotations to ascii, such that make magic recognizes them.
Diffstat (limited to 'generic/proof-site.el')
| -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 f47d8800..b149b7f1 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -125,7 +125,7 @@ (let ((s (getenv "PROOFGENERAL_HOME"))) (if s (file-name-as-directory s))))) "Directory where Proof General is installed. -based on where the file `proof-site.el' was loaded from. +Based on where the file `proof-site.el' was loaded from. Falls back to consulting the environment variable `PROOFGENERAL_HOME' if proof-site.el couldn't know where it was executed from.") @@ -204,7 +204,7 @@ assistant, `SYMBOL-mode', run when files with AUTOMODE-REGEXP \(or with extension FILE-EXTENSION) are visited. If present, IGNORED-EXTENSIONS-LIST is a list of file-name extensions to be ignored when doing file-name completion (IGNORED-EXTENSIONS-LIST -is added to ‘completion-ignored-extensions’). +is added to `completion-ignored-extensions'). SYMBOL is also used to form the name of the directory and elisp file for the mode, which will be |