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 | |
| 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')
| -rw-r--r-- | doc/misc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 7 |
2 files changed, 9 insertions, 2 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. |
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 09687aaa1ee..f74d7eaa2d1 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in | |||
| @@ -882,9 +882,12 @@ distclean: clean | |||
| 882 | 882 | ||
| 883 | ## buildinfodir is relative to srcdir. | 883 | ## buildinfodir is relative to srcdir. |
| 884 | infoclean: | 884 | infoclean: |
| 885 | cd $(buildinfodir); for file in $(INFO_TARGETS); do \ | 885 | for file in $(INFO_TARGETS); do \ |
| 886 | file=`echo $${file} | sed 's/\.info$$//'`${INFO_EXT}; \ | 886 | file=`echo $${file} | sed 's/\.info$$//'`${INFO_EXT}; \ |
| 887 | rm -f $${file} $${file}-[1-9] $${file}-[1-9][0-9]; \ | 887 | rm -f \ |
| 888 | $(buildinfodir)/$${file} \ | ||
| 889 | $(buildinfodir)/$${file}-[1-9] \ | ||
| 890 | $(buildinfodir)/$${file}-[1-9][0-9]; \ | ||
| 888 | done | 891 | done |
| 889 | 892 | ||
| 890 | maintainer-clean: distclean infoclean | 893 | maintainer-clean: distclean infoclean |