Minor changes in the Emacs manual
commite1a44033a8dbb53588c77a9e41c11725b2ed53b0
authorEli Zaretskii <eliz@gnu.org>
Sat, 27 Jan 2018 12:06:02 +0000 (27 14:06 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 27 Jan 2018 12:06:02 +0000 (27 14:06 +0200)
tree991e1e17d9952cbba4e7f79f6ccff7136e67920c
parent372fda682a2a80f4cf946dfa6d57853a68b6982e
Minor changes in the Emacs manual

* doc/emacs/search.texi (Search Customizations): Minor wording
change.
* doc/emacs/files.texi (Customize Save): Add a cross-reference
for batch mode.
doc/emacs/files.texi
doc/emacs/search.texi