|
2582e7bb
|
2022-07-18T19:33:52
|
|
Make autopull.sh more suited for continuous integration.
* autopull.sh: Support option --one-time.
|
|
f4f3b4d4
|
2022-07-18T13:30:45
|
|
Move gnulib-tool invocation back from autopull.sh to autogen.sh.
* autogen.sh: Revert last change. Improve comments.
* autopull.sh: Only call 'gitsub.sh pull'.
* HACKING: Mention autopull.sh.
|
|
b9a6c979
|
2022-07-17T14:04:29
|
|
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.
|