From 8457e6cfd1581ec875c5a0b1ff38ea0cbdaf6c1b Mon Sep 17 00:00:00 2001 From: Nico Schottelius Date: Thu, 15 Nov 2012 15:17:15 +0100 Subject: [PATCH] also git add & commit the manpages Signed-off-by: Nico Schottelius --- build | 3 +++ 1 file changed, 3 insertions(+) diff --git a/build b/build index b19be55a..fb01c565 100755 --- a/build +++ b/build @@ -93,10 +93,13 @@ case "$1" in man-pub) $0 man + version=$($0 changelog-version) + rm -rf "${WEBMAN}" mkdir -p "${WEBMAN}/man1" "${WEBMAN}/man7" cp ${MAN1DSTDIR}/*.html ${MAN1DSTDIR}/*.css ${WEBMAN}/man1 cp ${MAN7DSTDIR}/*.html ${MAN7DSTDIR}/*.css ${WEBMAN}/man7 + cd ${WEBMAN} && git add . && git commit -m "Cdist Manpage update: $version" ;; dist)