diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2015-04-11 07:47:25 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2015-04-11 07:48:21 -0700 |
commit | 279558f472246dd19864f4175cb1d6061bc1ed92 (patch) | |
tree | 1206fa105e58d28ba7e9d107cb1968d8391b241f /doc/misc/Makefile.in | |
parent | 7c7b96eba0599d94ebf93032beb928cf2c043845 (diff) | |
download | emacs-279558f472246dd19864f4175cb1d6061bc1ed92.tar.gz |
Minor quoting etc. fixes to misc manuals
Fix some minor quoting and spacing issues. Distinguish more
clearly among grave accent and apostrophe (which are ASCII) and
single quote (which is not). Prefer the standard terms
"apostrophe" and "grave accent" to alternative names that can be
confusing. Use apostrophes to single-quote ASCII text.
* doc/misc/remember.texi: Spell the mystic's pseudonym in UTF-8
rather than approximating it in ASCII with grave accent.
Diffstat (limited to 'doc/misc/Makefile.in')
-rw-r--r-- | doc/misc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index e2de06d1636..1f21f829380 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -20,7 +20,7 @@ SHELL = @SHELL@ # Where to find the source code. $(srcdir) will be the doc/misc subdirectory -# of the source tree. This is set by configure's `--srcdir' option. +# of the source tree. This is set by configure's '--srcdir' option. srcdir=@srcdir@ ## Where the output files go. |