diff options
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index c08de7e4a59..22148deace0 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2013-08-28 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | * Makefile.in (SHELL): Now @SHELL@, not /bin/sh, | ||
| 4 | for portability to hosts where /bin/sh has problems. | ||
| 5 | |||
| 1 | 2013-08-28 Stefan Monnier <monnier@iro.umontreal.ca> | 6 | 2013-08-28 Stefan Monnier <monnier@iro.umontreal.ca> |
| 2 | 7 | ||
| 3 | Try to reduce redundancy in doc/misc/Makefile.in. | 8 | Try to reduce redundancy in doc/misc/Makefile.in. |