diff options
| author | Paul Eggert | 2014-04-16 18:35:20 -0700 |
|---|---|---|
| committer | Paul Eggert | 2014-04-16 18:35:20 -0700 |
| commit | eb36672f2bc4cb3eeed3bd802c340ccb8416ad26 (patch) | |
| tree | 1cc231c6787df91adb3c1cb5566390598af83463 /doc/misc/ChangeLog | |
| parent | 290d7ac277986bd118e594a8100b3f40e4492cb1 (diff) | |
| download | emacs-eb36672f2bc4cb3eeed3bd802c340ccb8416ad26.tar.gz emacs-eb36672f2bc4cb3eeed3bd802c340ccb8416ad26.zip | |
Be consistent about reporting infoclean failures.
* doc/emacs/Makefile.in (infoclean):
* doc/lispintro/Makefile.in (infoclean):
* doc/lispref/Makefile.in (infoclean):
* doc/misc/Makefile.in (infoclean):
Do not fail merely because the info directory does not exist,
but do fail if it exists and can't be cleaned.
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index d51db539f87..4ad0293ee9b 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2014-04-17 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | * Makefile.in (infoclean): Be consistent about reporting failures. | ||
| 4 | |||
| 1 | 2014-03-27 Glenn Morris <rgm@gnu.org> | 5 | 2014-03-27 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * Makefile.in (INFO_COMMON): Add vhdl-mode. | 7 | * Makefile.in (INFO_COMMON): Add vhdl-mode. |