maint: rename rules to build/upload web manuals
authorStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 13 Dec 2012 11:02:33 +0000 (12:02 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 13 Dec 2012 19:18:10 +0000 (20:18 +0100)
The new names are the same used by the similar-purpose rules provided by
the 'top/maint.mk' makefile in gnulib (as of commit v0.0-7741-g4a8c422).
No need to have gratuitous incompatibilities.

* Makefile.am (web-manuals): Rename ...
(web-manual): ... like this.
(upload-web-manuals): Rename ...
(web-manual-update): ... like this.
(clean-web-manuals): Rename ...
(clean-web-manual): ... like this.

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>
Makefile.am

index 7633c58..895afa8 100644 (file)
@@ -1003,7 +1003,7 @@ CVSU = cvsu
 CVS_USER = $${USER}
 WEBCVS_ROOT = cvs.savannah.gnu.org:/web
 
-web-manuals:
+web-manual:
        $(AM_V_at)rm -rf doc/web-manuals
        $(AM_V_GEN)tmp=$@.dir \
          && rm -rf $$tmp \
@@ -1024,9 +1024,9 @@ web-manuals:
         && mv -f $$tmp/manual/* doc/web-manuals \
         && rm -rf $$tmp \
         && { ! $(AM_V_P) || ls -l doc/web-manuals; }
-.PHONY: web-manuals
+.PHONY: web-manual
 
-upload-web-manuals:
+web-manual-update:
        $(AM_V_at)fatal () { echo "$@: $$*" >&2; exit 1; }; \
        $(determine_release_type); \
        case $$release_type in \
@@ -1057,12 +1057,12 @@ upload-web-manuals:
              && $(CVS) ci -m $(VERSION) \
            ) \
          && rm -rf $$tmp
-.PHONY: upload-web-manuals
+.PHONY: web-manual-update
 
-clean-web-manuals:
+clean-web-manual:
        $(AM_V_at)rm -rf doc/web-manuals
-.PHONY: clean-web-manuals
-clean-local: clean-web-manuals
+.PHONY: clean-web-manual
+clean-local: clean-web-manual
 
 EXTRA_DIST += lib/gendocs.sh lib/gendocs_template