(distclean): Remove makefile.

This commit is contained in:
Eli Zaretskii 2008-06-20 15:17:16 +00:00
parent 6d52677de1
commit 7389398d79
2 changed files with 5 additions and 0 deletions

View file

@ -1,3 +1,7 @@
2008-06-20 Eli Zaretskii <eliz@gnu.org>
* makefile.w32-in (distclean): Remove makefile.
2008-06-17 Carsten Dominik <dominik@science.uva.nl>
* org.texi (Using the mapping API): New section.

View file

@ -325,6 +325,7 @@ clean: mostlyclean
$(infodir)/epa*
distclean: clean
- $(DEL) makefile
maintainer-clean: distclean
- $(DEL) *.aux *.cps *.fns *.kys *.pgs *.vrs *.toc