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