diff options
| author | Glenn Morris | 2012-09-30 17:05:20 -0700 |
|---|---|---|
| committer | Glenn Morris | 2012-09-30 17:05:20 -0700 |
| commit | 07f133bf5d9e1c3da32eca2e2024b47cbfaef26d (patch) | |
| tree | 9a4533ec0e03f44f1b7db7cc9b10ca2d944e515c /doc/misc/ChangeLog | |
| parent | c22bac2cc59c6c04924ecf62c5eeb97a92df7e28 (diff) | |
| download | emacs-07f133bf5d9e1c3da32eca2e2024b47cbfaef26d.tar.gz emacs-07f133bf5d9e1c3da32eca2e2024b47cbfaef26d.zip | |
Tweak reftex.texi's inclusion of emacsver.texi
* doc/misc/Makefile.in ($(buildinfodir)/reftex$(INFO_EXT)), reftex.dvi)
(reftex.pdf): Add dependency on emacsver.texi.
* doc/misc/reftex.texi: Don't include directory part for emacsver.texi;
the Makefile's -I handles it.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 8ddfb5fcbf4..7b77540a923 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,10 @@ | |||
| 1 | 2012-10-01 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * Makefile.in ($(buildinfodir)/reftex$(INFO_EXT)), reftex.dvi) | ||
| 4 | (reftex.pdf): Add dependency on emacsver.texi. | ||
| 5 | * reftex.texi: Don't include directory part for emacsver.texi; | ||
| 6 | the Makefile's -I handles it. | ||
| 7 | |||
| 1 | 2012-09-30 Ralf Angeli <angeli@caeruleus.net> | 8 | 2012-09-30 Ralf Angeli <angeli@caeruleus.net> |
| 2 | 9 | ||
| 3 | Merge from standalone RefTeX repository. | 10 | Merge from standalone RefTeX repository. |