Make Makefile.devel more useful for the users of the released tarball.

3 files changed, 12 insertions, 4 deletions

diff --git a/ChangeLog b/ChangeLog
index ac4be48..b9983cc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2016-12-03  Bruno Haible  <bruno@clisp.org>
+
+	Make Makefile.devel more useful for the users of the released tarball.
+	* Makefile.devel (totally-clean): New target.
+	* autogen.sh: Invoke it and 'all'.
+
 2016-11-27  Bruno Haible  <bruno@clisp.org>
 
 	Fix build with mingw.
diff --git a/Makefile.devel b/Makefile.devel
index 89a7561..fc65a93 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -34,5 +34,9 @@ src/config.h.in : src/configure.ac aclocal.m4
 src/config.h_vms : src/config.h.in
 	cp src/config.h.in src/config.h_vms
 
+totally-clean : force
+	rm -f $(CONFIGURES)
+	rm -f src/config.h.in src/config.h_vms
+
 force :
 
diff --git a/autogen.sh b/autogen.sh
index 952e920..b809fa5 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -10,7 +10,7 @@
 #     in a gnulib checkout, or
 #   - an internet connection.
 
-# Copyright (C) 2003-2012 Free Software Foundation, Inc.
+# Copyright (C) 2003-2016 Free Software Foundation, Inc.
 #
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
@@ -41,6 +41,4 @@ done
 chmod a+x build-aux/install-sh build-aux/mkinstalldirs \
           build-aux/compile build-aux/ar-lib
 
-rm -f configure lib/configure src/configure tests/configure doc/configure
-rm -f src/config.h.in src/config.h_vms
-make -f Makefile.devel
+make -f Makefile.devel totally-clean all