diff options
| -rw-r--r-- | bootstrap.conf | 1 | ||||
| -rw-r--r-- | doc/.gitignore | 1 | ||||
| -rw-r--r-- | maint.mk | 8 |
3 files changed, 10 insertions, 0 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index 9c385e46d..446d6110a 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -57,6 +57,7 @@ gnulib_modules=" fsusage ftruncate ftello fts getdate getgroups gethrxtime + gendocs getline getloadavg getndelim2 getopt getpagesize getpass-gnu gettext gettime gettimeofday getugroups getusershell git-version-gen diff --git a/doc/.gitignore b/doc/.gitignore index 723a5a02f..8d1fd2482 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -16,6 +16,7 @@ coreutils.toc coreutils.tp coreutils.vr fdl.texi +gendocs_template getdate.texi stamp-vti version.texi @@ -862,3 +862,11 @@ alpha beta major: $(local-check) writable-files perl -pi -e '$$. == 3 and print "$(noteworthy)\n\n\n"' NEWS $(emit-commit-log) > .ci-msg $(VC) commit -F .ci-msg -a + +.PHONY: web-manual +web-manual: + @cd '$(srcdir)/doc'; \ + $(SHELL) ../build-aux/gendocs.sh -o '$(abs_builddir)/doc/manual' \ + --email $(PACKAGE_BUGREPORT) $(PACKAGE) \ + "$(PACKAGE_NAME) - Core GNU utilities" + @echo " *** Upload the doc/manual directory to web-cvs." |