diff options
author | Glenn Morris <rgm@gnu.org> | 2013-08-12 23:55:21 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2013-08-12 23:55:21 -0700 |
commit | 55f612f03ead76efe6be0e42ca14410f11345c36 (patch) | |
tree | e514276d6faa53d5ab8e717fcb2de92e7f44de22 /doc/misc/edt.texi | |
parent | 72baeef2d9a9899c1158e025141f146b6cfa08b2 (diff) | |
download | emacs-55f612f03ead76efe6be0e42ca14410f11345c36.tar.gz |
Rename some doc/misc info nodes to avoid chars that can cause Texinfo problems
* reftex.texi (LaTeX xr Package, Options - Table of Contents)
(Options - Defining Label Environments, Options - Creating Labels)
(Options - Referencing Labels, Options - Creating Citations)
(Options - Index Support, Options - Viewing Cross-References)
(Options - Finding Files, Options - Optimizations)
(Options - Fontification, Options - Misc):
* cc-mode.texi (Sample Init File):
* edt.texi (Init file):
* epa.texi (Encrypting/decrypting gpg files):
* mairix-el.texi (About, Setting up the mairix interface, Using)
(Extending):
Rename nodes to avoid characters that can cause Texinfo problems.
Diffstat (limited to 'doc/misc/edt.texi')
-rw-r--r-- | doc/misc/edt.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/misc/edt.texi b/doc/misc/edt.texi index 339d59bd123..40aeae836ef 100644 --- a/doc/misc/edt.texi +++ b/doc/misc/edt.texi @@ -789,13 +789,13 @@ so the above directions may need some modification if your site has such special needs. @menu -* edt-user.el:: Creating your own @file{edt-user.el} file. +* Init file:: Creating your own @file{edt-user.el} file. * Words:: Specifying word entities. * Control keys:: Enabling EDT control key sequence bindings. * Scroll margins:: Setting scroll margins. @end menu -@node edt-user.el +@node Init file @section Creating your own @file{edt-user.el} File A sample @file{edt-user.el} file is provided in the Emacs @file{etc/} |