tree 932c5ddaa06b2abd215c61852d2f53d54ad3c4e6
parent 1d47a15791424e5d62796ca5ef490114f38ecb5f
author Bruno Haible <bruno@clisp.org> 1658059469 +0200
committer Bruno Haible <bruno@clisp.org> 1658067326 +0200

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. Remove
--skip-gnulib option.
* Makefile.devel (all): Remove srclib/Makefile.gnulib.
* Makefile.in (SOURCE_FILES): Add autogen.sh.
* HACKING: Mention autopull.sh.