diff options
| author | K. Handa | 2015-05-02 22:39:54 +0900 |
|---|---|---|
| committer | K. Handa | 2015-05-02 22:39:54 +0900 |
| commit | 40e720d049693dfe0c5559a8a8285a0b5cc6c5e2 (patch) | |
| tree | 46b84f79be0930e7fa729ae06836b90892e3d9b5 /doc/misc/reftex.texi | |
| parent | c3c9dab41b637b53034dd2f3dce6bf042380adae (diff) | |
| parent | 0bbc027356b680f32ac7b2d47d43a65d01091032 (diff) | |
| download | emacs-40e720d049693dfe0c5559a8a8285a0b5cc6c5e2.tar.gz emacs-40e720d049693dfe0c5559a8a8285a0b5cc6c5e2.zip | |
Merge branch 'master' of git.sv.gnu.org:/srv/git/emacs
Diffstat (limited to 'doc/misc/reftex.texi')
| -rw-r--r-- | doc/misc/reftex.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/reftex.texi b/doc/misc/reftex.texi index 6488ae289a2..726ec4e8521 100644 --- a/doc/misc/reftex.texi +++ b/doc/misc/reftex.texi | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | @c %**start of header | 2 | @c %**start of header |
| 3 | @setfilename ../../info/reftex.info | 3 | @setfilename ../../info/reftex.info |
| 4 | @settitle RefTeX User Manual | 4 | @settitle RefTeX User Manual |
| 5 | @documentencoding UTF-8 | 5 | @include docstyle.texi |
| 6 | @synindex ky cp | 6 | @synindex ky cp |
| 7 | @syncodeindex vr cp | 7 | @syncodeindex vr cp |
| 8 | @syncodeindex fn cp | 8 | @syncodeindex fn cp |