diff options
author | Glenn Morris <rgm@gnu.org> | 2013-11-30 10:34:58 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2013-11-30 10:34:58 -0800 |
commit | 26e4aa7db63a3aa6383a76cdad2f6b1e1108a297 (patch) | |
tree | 44d459fea30ffbc0215609a0df035b85617ff79b /doc/lispintro | |
parent | d715c01933abd5de65ca7668b69deefd9ab3ba66 (diff) | |
download | emacs-26e4aa7db63a3aa6383a76cdad2f6b1e1108a297.tar.gz emacs-26e4aa7db63a3aa6383a76cdad2f6b1e1108a297.tar.bz2 emacs-26e4aa7db63a3aa6383a76cdad2f6b1e1108a297.zip |
doc/ distclean rules should remove Makefiles
* emacs/Makefile.in (distclean):
* lispintro/Makefile.in (distclean):
* lispref/Makefile.in (distclean):
* misc/Makefile.in (distclean):
Remove Makefile.
Diffstat (limited to 'doc/lispintro')
-rw-r--r-- | doc/lispintro/ChangeLog | 4 | ||||
-rw-r--r-- | doc/lispintro/Makefile.in | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/doc/lispintro/ChangeLog b/doc/lispintro/ChangeLog index 2e6164968c3..f1900bc9d6d 100644 --- a/doc/lispintro/ChangeLog +++ b/doc/lispintro/ChangeLog @@ -1,3 +1,7 @@ +2013-11-30 Glenn Morris <rgm@gnu.org> + + * Makefile.in (distclean): Remove Makefile. + 2013-10-23 Glenn Morris <rgm@gnu.org> * Makefile.in (install-dvi, install-html, install-pdf) diff --git a/doc/lispintro/Makefile.in b/doc/lispintro/Makefile.in index 9a643c004ed..9fca51861dc 100644 --- a/doc/lispintro/Makefile.in +++ b/doc/lispintro/Makefile.in @@ -113,6 +113,7 @@ clean: mostlyclean rm -f emacs-lispintro-${version}.tar* distclean: clean + rm -f Makefile infoclean: -cd $(buildinfodir) && rm -f eintr$(INFO_EXT) eintr$(INFO_EXT)-[1-9] |