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/misc/Makefile.in | |
parent | d715c01933abd5de65ca7668b69deefd9ab3ba66 (diff) | |
download | emacs-26e4aa7db63a3aa6383a76cdad2f6b1e1108a297.tar.gz |
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/misc/Makefile.in')
-rw-r--r-- | doc/misc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index f43520e97a4..70fb05e23e3 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -842,7 +842,7 @@ clean: mostlyclean rm -f emacs-misc-${version}.tar* distclean: clean -# rm -f Makefile + rm -f Makefile ## buildinfodir is relative to srcdir. infoclean: |