maint: only sync the manual subdir

This code only updates files under manual/, so no need to checkout the
entire site first.

* maintainer/maint.mk: Only checkout $(PACKAGE)/manual tree.

diff --git a/maintainer/maint.mk b/maintainer/maint.mk
index 55fa0a4c30675800fc22a4708a3ed02e52d2d7e3..7303a05cf913df303c5b421eb5cd647f1b0ac430 100644 (file)
--- a/maintainer/maint.mk
+++ b/maintainer/maint.mk
@@ -424,7 +424,7 @@ web-manual-update:
        $(AM_V_at)mkdir $t
        $(AM_V_at)cd $t \
          && $(CVS) -z3 -d :ext:$(CVS_USER)@$(WEBCVS_ROOT)/$(PACKAGE) \
-                   co $(PACKAGE)
+                   co $(PACKAGE)/manual
        @# According to the rsync manpage, "a trailing slash on the
        @# source [...] avoids creating an additional directory
        @# level at the destination".  So the trailing '/' after