aboutsummaryrefslogtreecommitdiffstats
path: root/doc/misc
diff options
context:
space:
mode:
authorPaul Eggert2014-04-16 18:35:20 -0700
committerPaul Eggert2014-04-16 18:35:20 -0700
commiteb36672f2bc4cb3eeed3bd802c340ccb8416ad26 (patch)
tree1cc231c6787df91adb3c1cb5566390598af83463 /doc/misc
parent290d7ac277986bd118e594a8100b3f40e4492cb1 (diff)
downloademacs-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/ChangeLog4
-rw-r--r--doc/misc/Makefile.in7
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 @@
12014-04-17 Paul Eggert <eggert@cs.ucla.edu>
2
3 * Makefile.in (infoclean): Be consistent about reporting failures.
4
12014-03-27 Glenn Morris <rgm@gnu.org> 52014-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.
884infoclean: 884infoclean:
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
890maintainer-clean: distclean infoclean 893maintainer-clean: distclean infoclean