branch: elpa/proof-general
commit aacbc0ed1b664dd25185b310956c047e813e7bee
Author: Morgan Smith <[email protected]>
Commit: Morgan Smith <[email protected]>
Use ascii quotes in docstrings
See this quote from the Info page "(elisp) Documentation Tips":
Some previous versions of this section recommended using the non-ASCII
single
quotation marks directly in doc strings, but this is now discouraged, since
that leads to broken help string displays on terminals that don’t support
displaying those characters.
---
ci/compile-tests/cct-lib.el | 4 ++--
coq/coq-compile-common.el | 4 ++--
coq/coq-indent.el | 4 ++--
coq/coq-local-vars.el | 4 ++--
coq/coq-par-compile.el | 2 +-
coq/coq-syntax.el | 2 +-
coq/coq.el | 6 +++---
easycrypt/easycrypt.el | 2 +-
generic/pg-pbrpm.el | 8 ++++----
generic/pg-response.el | 10 +++++-----
generic/pg-vars.el | 4 ++--
generic/proof-autoloads.el | 8 ++++----
generic/proof-config.el | 8 ++++----
generic/proof-shell.el | 8 ++++----
generic/proof-syntax.el | 20 ++++++++++----------
generic/proof-utils.el | 10 +++++-----
lib/bufhist.el | 2 +-
lib/span.el | 2 +-
lib/unicode-tokens.el | 2 +-
19 files changed, 55 insertions(+), 55 deletions(-)
diff --git a/ci/compile-tests/cct-lib.el b/ci/compile-tests/cct-lib.el
index 18d9777f09b..a6df5813def 100644
--- a/ci/compile-tests/cct-lib.el
+++ b/ci/compile-tests/cct-lib.el
@@ -42,10 +42,10 @@
"Set to t to get more output during test runs.")
(defvar cct-before-busy-waiting-hook nil
- "Hooks run by ‘cct-process-to-line’ before busy waiting.")
+ "Hooks run by `cct-process-to-line' before busy waiting.")
(defvar cct-after-busy-waiting-hook nil
- "Hooks run by ‘cct-process-to-line’ after busy waiting.")
+ "Hooks run by `cct-process-to-line' after busy waiting.")
(defmacro cct-implies (p q)
diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el
index b07ac1b9105..b89bddf0864 100644
--- a/coq/coq-compile-common.el
+++ b/coq/coq-compile-common.el
@@ -78,7 +78,7 @@ Must be used together with `coq-par-enable'."
(defun coq-switch-compilation-method ()
- "Set function for function ‘coq-compile-parallel-in-background’."
+ "Set function for function `coq-compile-parallel-in-background'."
(if coq-compile-parallel-in-background
(progn
(coq-par-enable)
@@ -808,7 +808,7 @@ not backed by a file. The buffer to test must be current."
(defun coq-compile-save-some-buffers ()
"Save buffers according to `coq-compile-auto-save'.
-Uses the local variable ‘coq-compile-buffer-with-current-require’ to pass the
+Uses the local variable `coq-compile-buffer-with-current-require' to pass the
current buffer (which contains the Require command) to
`coq-compile-save-buffer-filter'."
(let ((coq-compile-buffer-with-current-require (current-buffer))
diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index 0b450993de1..815dc5170e3 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -695,7 +695,7 @@ The point is put exactly before first non comment letter of
the command."
;; (defun coq-find-unopened (&optional optlvl limit)
;; "Find the last unopened close item (looking forward from point).
;; Counter starts to OPTLVL (default 1) and stops when reaching
-;; LIMIT (default ‘point-max’). This function only works inside an
+;; LIMIT (default `point-max'). This function only works inside an
;; expression."
;; (let ((lvl (or optlvl 1)) after nextpt endpt)
@@ -751,7 +751,7 @@ The point is put exactly before first non comment letter of
the command."
;; (defun coq-end-offset (&optional limit)
;; "Find the first unclosed open indent item, and return its column.
-;; Stop when reaching LIMIT (default to ‘point-min’)."
+;; Stop when reaching LIMIT (default to `point-min')."
;; (save-excursion
;; (let ((found nil)
;; (anyreg (proof-regexp-alt "\\`" proof-indent-any-regexp)))
diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el
index 892130f994e..6d433fb0a19 100644
--- a/coq/coq-local-vars.el
+++ b/coq/coq-local-vars.el
@@ -50,8 +50,8 @@ coqtop -foo3 -R foo bar -I foo2
FILE VARIABLES
If for some reason you want to avoid or override the project file
-method, you can use the file variables. See Info node ‘(emacs)File
-Variables’. This feature of Emacs allows to set Emacs variables on a
+method, you can use the file variables. See Info node `(emacs)File
+Variables'. This feature of Emacs allows to set Emacs variables on a
per-file basis. File Variables are (usually) written as a list at the
end of the file.
diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el
index 0a08fcc105f..227589143f0 100644
--- a/coq/coq-par-compile.el
+++ b/coq/coq-par-compile.el
@@ -2372,7 +2372,7 @@ the ancestor hash are reinitialized.
As next action the new queue items are split at each Require
command. The items before the first Require are appended to the
-old last compilation job or put back into ‘proof-action-list’. The
+old last compilation job or put back into `proof-action-list'. The
remaining batches of items that each start with a Require are
then processed by `coq-par-handle-require-list', which creates
require jobs as necessary. Before processing the
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index ed161cf74e7..8fea21d216f 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -1049,7 +1049,7 @@ Used by `coq-goal-command-p'"
;; unused anymore (for good)
(defun coq-goal-command-str-p (str)
"Decide syntactically whether STR is a goal start or not.
-Use ‘coq-goal-command-p’ on a span instead if possible."
+Use `coq-goal-command-p' on a span instead if possible."
(let* ((match (coq-count-match "\\_<match\\_>" str))
(with (- (coq-count-match "\\_<with\\_>" str) (coq-count-match
"\\_<with\\s-+signature\\_>" str)))
(letwith (+ (coq-count-match "\\_<let\\_>" str) (- with match)))
diff --git a/coq/coq.el b/coq/coq.el
index 953becf0832..69967c170be 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -382,7 +382,7 @@ It is mostly useful in three window mode, see also
;; would not be shown in response buffer. If it is before, then we want it
;; urgent so that it is displayed.
(defvar coq-eager-no-urgent-regex "\\s-*Finished "
- "Regexp of commands matching ‘proof-shell-eager-annotation-start’
+ "Regexp of commands matching `proof-shell-eager-annotation-start'
that should maybe not be classified as urgent messages.")
;; return the end position if found, nil otherwise
@@ -988,7 +988,7 @@ silent."
testcmd)
"Play commands SETCMD then CMD and then silently UNSETCMD.
The last UNSETCMD is performed with tag 'empty-action-list so that it
-does not trigger ‘proof-shell-empty-action’ (which does \"Show\" at
+does not trigger `proof-shell-empty-action' (which does \"Show\" at
the time of writing this documentation). Also add
`'dont-show-when-silent' everywhere to suppress show commands when
running silent."
@@ -1775,7 +1775,7 @@ hiding to be maintain when scripting/undoing."
(defun coq-fold-hyp (h)
"Fold hypothesis H's type from the context durably.
\(displays \".......\" instead). This function relies on variable
-‘coq-hyps-positions’. The hiding maintained as the goals buffer is
+`coq-hyps-positions'. The hiding maintained as the goals buffer is
changed, thanks to a hook on `proof-shell-handle-delayed-output-hook',
consider using `coq-fold-hyp' if you want the hiding to be maintain
when scripting/undoing."
diff --git a/easycrypt/easycrypt.el b/easycrypt/easycrypt.el
index 621805e7749..341d9352c91 100644
--- a/easycrypt/easycrypt.el
+++ b/easycrypt/easycrypt.el
@@ -196,7 +196,7 @@ length of the error."
(while (proof-looking-at "\\s-") (forward-char 1)))
(defun easycrypt-highlight-error ()
- "Use ‘easycrypt-get-last-error-location’ to know the position of the
+ "Use `easycrypt-get-last-error-location' to know the position of the
error and then highlight in the script buffer."
(proof-with-current-buffer-if-exists proof-script-buffer
(let ((mtch (easycrypt-get-last-error-location)))
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index 9927b083984..6ec57266dce 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -127,7 +127,7 @@ Matches the region to be returned.")
(defun pg-pbrpm-analyse-goal-buffer ()
"Analyse the goal buffer and produce a table to find goals and hypothesis.
-It stores, in the variable ‘pg-pbrpm-goal-description’, a list with shape
+It stores, in the variable `pg-pbrpm-goal-description', a list with shape
\(start-goal end-goal goal-name start-concl hyps ...) with 5 elements per goal:
start-goal: the position of the first char of the goal
@@ -332,7 +332,7 @@ The prover command is processed via pg-pbrpm-run-command."
(defun pg-pbrpm-run-command (args)
"Insert command into the proof queue and then run it.
-\(adapted from ‘proof-insert-pbp-command’)"
+\(adapted from `proof-insert-pbp-command')"
(let* ((command (pop args)) (act (pop args)) (spans (pop args)) (allspan
(pop spans)))
(if act (setq command (apply act command spans nil)))
(if allspan (setq command (concat "(* " (span-string allspan) " *)\n"
command ".")))
@@ -439,7 +439,7 @@ If no match found, return the empty string."
(point))))
(defun pg-pbrpm-process-click (event start end)
- "Return the list of infos about the click needed to call ‘generate-menu’.
+ "Return the list of infos about the click needed to call `generate-menu'.
EVENT is an event."
(save-excursion
(save-window-excursion
@@ -539,7 +539,7 @@ The current (standard) selection in the same buffer is also
stored."
(pg-pbrpm-do-remember-region (car pair) (cdr pair))))))
(defun pg-pbrpm-process-region (span)
-"Return the list of infos on the selected region needed to call
‘generate-menu’.
+"Return the list of infos on the selected region needed to call
`generate-menu'.
SPAN is a span covering the selected region."
(let ((start (span-start span))
(end (span-end span))
diff --git a/generic/pg-response.el b/generic/pg-response.el
index 648ff79eb1b..8e94439bd20 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -95,7 +95,7 @@
;;
(defvar pg-response-special-display-regexp nil
- "Regexp for ‘display-buffer-alist’ for multiple frame use.
+ "Regexp for `display-buffer-alist' for multiple frame use.
Internal variable, setting this will have no effect!")
(defconst proof-multiframe-parameters
@@ -131,10 +131,10 @@ Internal variable, setting this will have no effect!")
(defun proof-guess-3win-display-policy (&optional policy)
"Return the 3 windows mode layout policy from user choice POLICY.
-If POLICY is ’smart then guess the good policy from the current
+If POLICY is 'smart then guess the good policy from the current
frame geometry, otherwise follow POLICY.
-See ‘proof-layout-windows’ for more details about POLICY."
+See `proof-layout-windows' for more details about POLICY."
(if (eq policy 'smart)
(cond
((>= (frame-width) (* 1.5 split-width-threshold)) 'horizontal)
@@ -146,7 +146,7 @@ See ‘proof-layout-windows’ for more details about POLICY."
"Put the three buffers B1, B2, and B3 into three windows.
Following POLICY, which can be 'smart, 'horizontal, 'vertical, or 'hybrid.
-See ‘proof-layout-windows’ for more details about POLICY.
+See `proof-layout-windows' for more details about POLICY.
This function must not be called if the frame has not enough
space for 3 windows (see `window-min-height')."
@@ -190,7 +190,7 @@ space for 3 windows (see `window-min-height')."
(defun proof-display-three-b (&optional policy)
"Layout three buffers in a single frame. Only do this if buffers exist.
-In this case, call ‘proof-select-three-b’ with argument POLICY.
+In this case, call `proof-select-three-b' with argument POLICY.
This function must not be called if the frame has not enough
space for 3 windows (see `window-min-height')."
diff --git a/generic/pg-vars.el b/generic/pg-vars.el
index 7cc43f4489b..49ca5c945c9 100644
--- a/generic/pg-vars.el
+++ b/generic/pg-vars.el
@@ -30,13 +30,13 @@
"Symbol for the customization group of user options for the proof assistant.
Do not change this variable! It is set automatically by the mode
stub defined in proof-site, from the name given in
-‘proof-assistant-table’.")
+`proof-assistant-table'.")
(defvar proof-assistant-internals-cusgrp nil
"Symbol for the customization group of PG internal settings.
Do not change this variable! It is set automatically by the mode
stub defined in proof-site, from the name given in
-‘proof-assistant-table’.")
+`proof-assistant-table'.")
(defvar proof-assistant ""
"Name of the proof assistant Proof General is using.
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
index 13cac4fa397..63863ccfeb3 100644
--- a/generic/proof-autoloads.el
+++ b/generic/proof-autoloads.el
@@ -172,7 +172,7 @@ Commands:\\<bufhist-mode-map>
Initialise a ring history for the current buffer.
The history will be read-only unless READWRITE is non-nil.
For read-only histories, edits to the buffer switch to the latest version.
-If RINGSIZE is omitted or nil, the size defaults to ‘bufhist-ring-size’.
+If RINGSIZE is omitted or nil, the size defaults to `bufhist-ring-size'.
\(fn &optional READWRITE RINGSIZE)" t nil)
@@ -894,7 +894,7 @@ No change to current buffer or point.
\(fn &optional QUEUEMODE)" nil nil)
(autoload 'proof-shell-live-buffer "proof-shell" "\
-Return non-nil if ‘proof-shell-buffer’ is live." nil nil)
+Return non-nil if `proof-shell-buffer' is live." nil nil)
(autoload 'proof-shell-available-p "proof-shell" "\
Return non-nil if there is a proof shell active and available.
@@ -932,7 +932,7 @@ Begin processing a queue of commands.
If START is non-nil, START and END are buffer positions in the
active scripting buffer for the queue region.
-This function calls ‘proof-add-to-queue’ with args QUEUEITEMS and QUEUEMODE.
+This function calls `proof-add-to-queue' with args QUEUEITEMS and QUEUEMODE.
\(fn START END QUEUEITEMS &optional QUEUEMODE)" nil nil)
@@ -1041,7 +1041,7 @@ Make sure the user gets welcomed one way or another." t
nil)
;;; Generated autoloads from proof-syntax.el
(autoload 'proof-replace-regexp-in-string "proof-syntax" "\
-Like ‘replace-regexp-in-string’, but set ‘case-fold-search’ to
‘proof-case-fold-search’.
+Like `replace-regexp-in-string', but set `case-fold-search' to
`proof-case-fold-search'.
\(fn REGEXP REP STRING)" nil nil)
diff --git a/generic/proof-config.el b/generic/proof-config.el
index 591acf769aa..6239426f0a4 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -416,10 +416,10 @@ It's safe to leave this setting as nil."
:group 'proof-script)
(defcustom proof-save-with-hole-result 2
- "How to get theorem name after ‘proof-save-with-hole-regexp’ match.
+ "How to get theorem name after `proof-save-with-hole-regexp' match.
String or Int.
-If an int N, use ‘match-string’ to get the value of the Nth parenthesis
matched.
-If a string, use ‘replace-match’. In this case, ‘proof-save-with-hole-regexp’
+If an int N, use `match-string' to get the value of the Nth parenthesis
matched.
+If a string, use `replace-match'. In this case, `proof-save-with-hole-regexp'
should match the entire command."
:type '(choice string integer)
:group 'proof-script)
@@ -1711,7 +1711,7 @@ if you don't need it (slight speed penalty)."
:group 'proof-shell)
(defcustom proof-shell-extend-queue-hook nil
- "Hooks run by ‘proof-extend-queue’ before extending `proof-action-list'.
+ "Hooks run by `proof-extend-queue' before extending `proof-action-list'.
Can be used to run additional actions before items are added to
the queue \(such as compiling required modules for Coq) or to
modify the items that are going to be added to
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 4df97786811..3746662c62c 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -299,7 +299,7 @@ No change to current buffer or point."
;;;###autoload
(defun proof-shell-live-buffer ()
- "Return non-nil if ‘proof-shell-buffer’ is live."
+ "Return non-nil if `proof-shell-buffer' is live."
(and proof-shell-buffer
(buffer-live-p proof-shell-buffer)
;; FIXME: Use process-live-p?
@@ -1202,7 +1202,7 @@ priority items can be preserved."
If START is non-nil, START and END are buffer positions in the
active scripting buffer for the queue region.
-This function calls ‘proof-add-to-queue’ with args QUEUEITEMS and QUEUEMODE."
+This function calls `proof-add-to-queue' with args QUEUEITEMS and QUEUEMODE."
(if start
(proof-set-queue-endpoints start end))
(proof-add-to-queue queueitems queuemode))
@@ -2003,8 +2003,8 @@ If TIMEOUTSECS is a number, time out after that many
seconds."
(error "Proof General: quit in proof-shell-wait")))))
(defun proof-done-invisible (span)
- "Callback for ‘proof-shell-invisible-command’.
-Call ‘proof-state-change-hook’."
+ "Callback for `proof-shell-invisible-command'.
+Call `proof-state-change-hook'."
(run-hooks 'proof-state-change-pre-hook)
(run-hooks 'proof-state-change-hook))
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index a85fabd29d1..dc2ff0bc9f9 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -59,56 +59,56 @@ nil if a region cannot be found."
;; applicable.
(defsubst proof-search-forward (string &optional bound noerror count)
- "Like ‘search-forward’, but set ‘case-fold-search’ to
‘proof-case-fold-search’."
+ "Like `search-forward', but set `case-fold-search' to
`proof-case-fold-search'."
(let
((case-fold-search proof-case-fold-search))
(search-forward string bound noerror count)))
;;;###autoload
(defun proof-replace-regexp-in-string (regexp rep string)
- "Like ‘replace-regexp-in-string’, but set ‘case-fold-search’ to
‘proof-case-fold-search’."
+ "Like `replace-regexp-in-string', but set `case-fold-search' to
`proof-case-fold-search'."
(let ((case-fold-search proof-case-fold-search))
(replace-regexp-in-string regexp rep string)))
(defsubst proof-re-search-forward (regexp &optional bound noerror count)
- "Like ‘re-search-forward’, but set ‘case-fold-search’ to
‘proof-case-fold-search’."
+ "Like `re-search-forward', but set `case-fold-search' to
`proof-case-fold-search'."
(let ((case-fold-search proof-case-fold-search))
(re-search-forward regexp bound noerror count)))
(defsubst proof-re-search-backward (regexp &optional bound noerror count)
- "Like ‘re-search-backward’, but set ‘case-fold-search’ to
‘proof-case-fold-search’."
+ "Like `re-search-backward', but set `case-fold-search' to
`proof-case-fold-search'."
(let ((case-fold-search proof-case-fold-search))
(re-search-backward regexp bound noerror count)))
(defsubst proof-re-search-forward-safe (regexp &optional bound noerror count)
- "Like ‘re-search-forward’, but set ‘case-fold-search’ to
‘proof-case-fold-search’."
+ "Like `re-search-forward', but set `case-fold-search' to
`proof-case-fold-search'."
(and regexp
(let ((case-fold-search proof-case-fold-search))
(re-search-forward regexp bound noerror count))))
(defsubst proof-string-match (regexp string &optional start)
- "Like ‘string-match’, but set ‘case-fold-search’ to
‘proof-case-fold-search’."
+ "Like `string-match', but set `case-fold-search' to
`proof-case-fold-search'."
(let ((case-fold-search proof-case-fold-search))
(string-match regexp string start)))
(defsubst proof-string-match-safe (regexp string &optional start)
- "Like ‘string-match’, but return nil if REGEXP or STRING is nil."
+ "Like `string-match', but return nil if REGEXP or STRING is nil."
(if (and regexp string) (proof-string-match regexp string start)))
(defsubst proof-stringfn-match (regexp-or-fn string)
- "Like ‘proof-string-match’ if first arg is regexp, otherwise call it."
+ "Like `proof-string-match' if first arg is regexp, otherwise call it."
(cond ((stringp regexp-or-fn)
(proof-string-match regexp-or-fn string))
((functionp regexp-or-fn)
(funcall regexp-or-fn string))))
(defsubst proof-looking-at (regexp)
- "Like ‘looking-at’, but set ‘case-fold-search’ to ‘proof-case-fold-search’."
+ "Like `looking-at', but set `case-fold-search' to `proof-case-fold-search'."
(let ((case-fold-search proof-case-fold-search))
(looking-at regexp)))
(defsubst proof-looking-at-safe (regexp)
- "Like ‘proof-looking-at’, but return nil if REGEXP is nil."
+ "Like `proof-looking-at', but return nil if REGEXP is nil."
(if regexp (proof-looking-at regexp)))
;;
diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 1d05730f38d..e5e8e538ff3 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -64,7 +64,7 @@
;;
(defmacro proof-with-current-buffer-if-exists (buf &rest body)
- "Like ‘with-current-buffer’ if BUF exists and is live, otherwise nothing."
+ "Like `with-current-buffer' if BUF exists and is live, otherwise nothing."
`(if (buffer-live-p ,buf)
(with-current-buffer ,buf
,@body)))
@@ -73,7 +73,7 @@
;; which work from different PG buffers (goals, response), typically
;; bound to toolbar commands.
(defmacro proof-with-script-buffer (&rest body)
- "Execute BODY in some script buffer: current buf, else ‘proof-script-buffer’.
+ "Execute BODY in some script buffer: current buf, else `proof-script-buffer'.
Return nil if not a script buffer or if no active scripting buffer."
(declare (debug t))
`(cond
@@ -253,12 +253,12 @@ Leave point at END."
(defun proof-get-window-for-buffer (buffer)
"Find a window for BUFFER, display it there, return the window.
NB: may change the selected window. This function is a wrapper on
-‘display-buffer’. The idea is that if the user has opened and
+`display-buffer'. The idea is that if the user has opened and
closed some windows we want to preserve the layout by only
switching buffer in already pg-associate windows. So if the
buffer is not already displayed, we try to reuse an existing
associated window, even if in 3-win mode. If no such window
-exists, we fall back to ‘display-buffer’ while protecting script
+exists, we fall back to `display-buffer' while protecting script
buffer to be hidden or split.
Experimentally we display a message from time to time advertising
@@ -333,7 +333,7 @@ Ensure that point is visible in window."
(recenter -1))))))))))
(defun proof-clean-buffer (buffer)
- "Erase BUFFER and hide from display if ‘proof-delete-empty-windows’ set.
+ "Erase BUFFER and hide from display if `proof-delete-empty-windows' set.
Auto deletion only affects selected frame. (We assume that the selected
frame is the one showing the script buffer.)
No effect if buffer is dead."
diff --git a/lib/bufhist.el b/lib/bufhist.el
index 72a2f318bbe..213edb2d1cc 100644
--- a/lib/bufhist.el
+++ b/lib/bufhist.el
@@ -286,7 +286,7 @@ If N is omitted or nil, move forward by one item."
"Initialize a ring history for the current buffer.
The history will be read-only unless READWRITE is non-nil.
For read-only histories, edits to the buffer switch to the latest version.
-If RINGSIZE is omitted or nil, the size defaults to ‘bufhist-ring-size’."
+If RINGSIZE is omitted or nil, the size defaults to `bufhist-ring-size'."
(interactive)
(setq bufhist-ring (make-ring (or ringsize bufhist-ring-size)))
(setq bufhist-normal-read-only buffer-read-only)
diff --git a/lib/span.el b/lib/span.el
index b478f3dec54..08e4bb2cdbd 100644
--- a/lib/span.el
+++ b/lib/span.el
@@ -203,7 +203,7 @@ A span is before PT if it begins before the character
before PT."
(defun span-property-safe (span name)
"Get the property of span SPAN with property name NAME.
-Like ‘span-property’, but return nil if SPAN is nil."
+Like `span-property', but return nil if SPAN is nil."
(and span (span-property span name)))
(defun span-set-start (span value)
diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el
index b1b3c8ae358..52a1869f5c2 100644
--- a/lib/unicode-tokens.el
+++ b/lib/unicode-tokens.el
@@ -67,7 +67,7 @@
:group 'unicode-tokens-options)
(defun unicode-tokens-toggle-add-help-echo ()
- "Toggle option ‘unicode-tokens-add-help-echo’."
+ "Toggle option `unicode-tokens-add-help-echo'."
(interactive)
(customize-set-variable 'unicode-tokens-add-help-echo
(not unicode-tokens-add-help-echo))
