make distclean should remove .1 files as not in distribution

This commit is contained in:
Wilson Snyder 2018-10-27 08:26:25 -04:00
parent 5c2b5bd782
commit 13163aef24

View File

@ -496,8 +496,8 @@ endif
maintainer-clean:: maintainer-clean::
@echo "This command is intended for maintainers to use;" @echo "This command is intended for maintainers to use;"
@echo "rebuilding the deleted files requires makeinfo." @echo "rebuilding the deleted files requires autoconf."
rm -f *.info* *.1 $(INFOS) configure rm -f configure
clean mostlyclean distclean maintainer-clean maintainer-copy:: clean mostlyclean distclean maintainer-clean maintainer-copy::
for dir in $(SUBDIRS); do \ for dir in $(SUBDIRS); do \
@ -515,6 +515,7 @@ clean mostlyclean distclean maintainer-clean::
rm -rf examples/*/obj_dir examples/*/logs rm -rf examples/*/obj_dir examples/*/logs
distclean maintainer-clean:: distclean maintainer-clean::
rm -f *.info* *.1 $(INFOS)
rm -f Makefile config.status config.cache config.log TAGS rm -f Makefile config.status config.cache config.log TAGS
rm -f verilator_bin* verilator_coverage_bin* rm -f verilator_bin* verilator_coverage_bin*
rm -f bin/verilator_bin* bin/verilator_coverage_bin* rm -f bin/verilator_bin* bin/verilator_coverage_bin*