Branch :
| Author | Commit | Date | CI | Message |
|---|---|---|---|---|
| 2582e7bb | 2022-07-18 19:33:52 | Make autopull.sh more suited for continuous integration. * autopull.sh: Support option --one-time. | ||
| f4f3b4d4 | 2022-07-18 13: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-17 14: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. |