diff options
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. |