Split autogen.sh into autopull.sh and autogen.sh.

* autopull.sh: New file, based on autogen.sh.
* autogen.sh: Remove code that was moved to autopull.sh.
* Makefile.in (SOURCE_FILES): Add autogen.sh.

autogen.sh

@@ -5,10 +5,6 @@
 # autoconf.
 #
 # This script requires autoconf-2.64..2.71 in the PATH.
-# It also requires either
-#   - the GNULIB_TOOL environment variable pointing to the gnulib-tool script
-#     in a gnulib checkout, or
-#   - an internet connection.
 
 # Copyright (C) 2003-2022 Free Software Foundation, Inc.
 #
@@ -25,23 +21,9 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
+# Prerequisite (if not used from a released tarball): ./autopull.sh
 # Usage: ./autogen.sh
 
-GNULIB_REPO_URL="https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;hb=HEAD;f="
-
-for file in build-aux/install-sh build-aux/mkinstalldirs \
-            build-aux/compile build-aux/ar-lib \
-            lib/filename.h; do
-  if test -n "$GNULIB_TOOL"; then
-    $GNULIB_TOOL --copy-file $file $file
-  else
-    wget -q --timeout=5 -O $file.tmp "${GNULIB_REPO_URL}$file" \
-      && mv $file.tmp $file
-  fi
-done
-chmod a+x build-aux/install-sh build-aux/mkinstalldirs \
-          build-aux/compile build-aux/ar-lib
-
 make -f Makefile.devel totally-clean all || exit $?
 
 echo "$0: done.  Now you can run './configure'."