diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 3 |
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 91074ac3a45..8b7bb7498c9 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2014-09-04 Paul Eggert <eggert@cs.ucla.edu> | ||
| 2 | |||
| 3 | Less chatter in 'make' output. | ||
| 4 | * Makefile.in (clean): Simplify, for shorter command line. | ||
| 5 | |||
| 1 | 2014-08-07 Reuben Thomas <rrt@sc3d.org> | 6 | 2014-08-07 Reuben Thomas <rrt@sc3d.org> |
| 2 | 7 | ||
| 3 | * ediff.texi (Merging and diff3): Don't mention lack of support | 8 | * ediff.texi (Merging and diff3): Don't mention lack of support |
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 53537122cef..dee3eff2caf 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in | |||
| @@ -221,8 +221,7 @@ mostlyclean: | |||
| 221 | rm -f gnustmp* | 221 | rm -f gnustmp* |
| 222 | 222 | ||
| 223 | clean: mostlyclean | 223 | clean: mostlyclean |
| 224 | rm -f $(DVI_TARGETS) $(HTML_TARGETS) $(PDF_TARGETS) $(PS_TARGETS) | 224 | rm -f *.dvi *.html *.pdf *.ps |
| 225 | rm -f efaq-w32.dvi efaq-w32.html efaq-w32.pdf efaq-w32.ps | ||
| 226 | rm -f emacs-misc-${version}.tar* | 225 | rm -f emacs-misc-${version}.tar* |
| 227 | 226 | ||
| 228 | distclean: clean | 227 | distclean: clean |