|
|
|
@ -91,6 +91,8 @@ case "$1" in
|
|
|
|
|
;; |
|
|
|
|
|
|
|
|
|
man-pub) |
|
|
|
|
$0 man |
|
|
|
|
|
|
|
|
|
rm -rf "${WEBMAN}" |
|
|
|
|
mkdir -p "${WEBMAN}/man1" "${WEBMAN}/man7" |
|
|
|
|
cp ${MAN1DSTDIR}/*.html ${MAN1DSTDIR}/*.css ${WEBMAN}/man1 |
|
|
|
@ -115,6 +117,10 @@ case "$1" in
|
|
|
|
|
# Update website (includes documentation) |
|
|
|
|
$0 web |
|
|
|
|
|
|
|
|
|
# Update manpages on website |
|
|
|
|
$0 man-pub |
|
|
|
|
|
|
|
|
|
# update git repos |
|
|
|
|
$0 pub |
|
|
|
|
|
|
|
|
|
$0 dist-blog |
|
|
|
@ -326,8 +332,6 @@ eof
|
|
|
|
|
set -e |
|
|
|
|
rsync -av "${basedir}/docs/web/" "${WEBTOPDIR}" |
|
|
|
|
|
|
|
|
|
$0 man-pub |
|
|
|
|
|
|
|
|
|
cd "${WEBDIR}" && git add "${WEBBASE}" |
|
|
|
|
cd "${WEBDIR}" && git commit -m "cdist update" "${WEBBASE}" "${WEBPAGE}" |
|
|
|
|
cd "${WEBDIR}" && make pub |
|
|
|
|