summaryrefslogtreecommitdiff
path: root/gnu-web-doc-update
AgeCommit message (Collapse)Author
2009-10-02maint: move gnu-web-doc-update script to gnulibJim Meyering
* bootstrap.conf (gnulib_modules): Add gnu-web-doc-update. Remove gendocs, since gnu-web-doc-update depends on it. * gnu-web-doc-update: Remove file, now that we get it from gnulib.
2009-09-21maint: automate the web-doc updating procedureJim Meyering
* gnu-web-doc-update: New script, destined for gnulib. * README-release: Refer to the new script.