-#!/bin/sh
+#!/bin/bash
#
# Copyright (C) Michael Adam 2010
#
DIRNAME=$(dirname $0)
DOCS_XML_DIR=${DIRNAME}/../docs-xml
-DOCS_DIR=${DIRNAME}/../docs
+DOCS_DIR=${DIRNAME}/../bin/docs
pushd ${DOCS_XML_DIR} || exit 1
# re-establish catalog (has been removed by make clean...)
./config.status
-make manpages3 || _exit "Error running make manpages3"
+make manpages || _exit "Error running make manpages"
popd
test -e ${DOCS_DIR}/manpages && rm -rf ${DOCS_DIR}/manpages
mkdir -p ${DOCS_DIR}/manpages
-rsync -Ca ${DOCS_XML_DIR}/output/manpages-3/ ${DOCS_DIR}/manpages
+rsync -Ca ${DOCS_XML_DIR}/output/manpages/ ${DOCS_DIR}/manpages
echo "Success"
exit