diff options
| author | Glenn Morris | 2013-06-28 19:54:37 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-06-28 19:54:37 -0700 |
| commit | b9a54f5e1dc62fdf6a1dbd9df746f0b6798bab29 (patch) | |
| tree | d97d64964cb73bcf0d6e338a852d395915d8acc3 /admin/ChangeLog | |
| parent | 0cb70db774efa7a7b30f26771276039e089ce528 (diff) | |
| download | emacs-b9a54f5e1dc62fdf6a1dbd9df746f0b6798bab29.tar.gz emacs-b9a54f5e1dc62fdf6a1dbd9df746f0b6798bab29.zip | |
* admin.el (manual-pdf, manual-ps): Work in the directory with the texi file,
so that TeX intermediate files go there rather than to PWD.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index f6f25f26733..8746657517e 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -4,6 +4,8 @@ | |||
| 4 | (manual-txt): Remove. | 4 | (manual-txt): Remove. |
| 5 | (manual-pdf): Doc fix. | 5 | (manual-pdf): Doc fix. |
| 6 | (manual-ps): Rename from manual-dvi. | 6 | (manual-ps): Rename from manual-dvi. |
| 7 | (manual-pdf, manual-ps): Work in the directory with the texi file, | ||
| 8 | so that TeX intermediate files go there rather than to PWD. | ||
| 7 | 9 | ||
| 8 | 2013-06-15 Xue Fuqiao <xfq.free@gmail.com> | 10 | 2013-06-15 Xue Fuqiao <xfq.free@gmail.com> |
| 9 | 11 | ||