From 13163aef24f6264b7a97e5ef30f5726192423781 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sat, 27 Oct 2018 08:26:25 -0400 Subject: [PATCH] make distclean should remove .1 files as not in distribution --- Makefile.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 2665a18c3..642c9af4d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -496,8 +496,8 @@ endif maintainer-clean:: @echo "This command is intended for maintainers to use;" - @echo "rebuilding the deleted files requires makeinfo." - rm -f *.info* *.1 $(INFOS) configure + @echo "rebuilding the deleted files requires autoconf." + rm -f configure clean mostlyclean distclean maintainer-clean maintainer-copy:: for dir in $(SUBDIRS); do \ @@ -515,6 +515,7 @@ clean mostlyclean distclean maintainer-clean:: rm -rf examples/*/obj_dir examples/*/logs distclean maintainer-clean:: + rm -f *.info* *.1 $(INFOS) rm -f Makefile config.status config.cache config.log TAGS rm -f verilator_bin* verilator_coverage_bin* rm -f bin/verilator_bin* bin/verilator_coverage_bin*