diff options
| author | Glenn Morris <rgm@gnu.org> | 2010-10-09 13:14:43 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2010-10-09 13:14:43 -0700 |
| commit | 0f05450f83afc96da3f131dbe8971d40026f8d77 (patch) | |
| tree | a31de37b25d2e40967b804348fa954eb3471e4ea | |
| parent | d3a4ac46f5214c40af155fb01f5b55502fa53d0b (diff) | |
| download | emacs-0f05450f83afc96da3f131dbe8971d40026f8d77.tar.gz | |
* doc/misc/Makefile.in (mostlyclean): Delete *.toc.
| -rw-r--r-- | doc/misc/ChangeLog | 2 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 9e7d98aadda..167462ef686 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,5 +1,7 @@ 2010-10-09 Glenn Morris <rgm@gnu.org> + * Makefile.in (mostlyclean): Delete *.toc. + * Makefile.in: Use $< in rules. * Makefile.in (maintainer-clean): Remove harmless, long-standing error. diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 4b9117673c4..023831b9366 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -665,7 +665,7 @@ woman.pdf: ${srcdir}/woman.texi .PHONY: mostlyclean clean distclean maintainer-clean mostlyclean: - rm -f *.aux *.log *.cp *.cps *.fn *.fns *.ky *.kys \ + rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \ *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs rm -f gnustmp.* |