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

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.

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 :
 

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
+make -f Makefile.devel totally-clean all
-rm -f src/config.h.in src/config.h_vms
-make -f Makefile.devel