1
0
mirror of https://github.com/samba-team/samba.git synced 2024-12-27 03:21:53 +03:00
samba-mirror/release-scripts/build-manpages-git
Michael Adam 3c5d2d5bcf release-scripts: run build-manpages-git with bash
On debian/ubuntu, the "dash" which is sh, does not
provide pushd/popd...

Signed-off-by: Stefan Metzmacher <metze@samba.org>
2012-09-12 23:52:45 +02:00

52 lines
1.3 KiB
Bash
Executable File

#!/bin/bash
#
# Copyright (C) Michael Adam 2010
#
# This program is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by the Free
# Software Foundation; either version 3 of the License, or (at your option)
# any later version.
#
# This program is distributed in the hope that it will be useful, but WITHOUT
# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
# more details.
#
# You should have received a copy of the GNU General Public License along with
# this program; if not, see <http://www.gnu.org/licenses/>.
#
_exit() {
echo $@
popd
exit 1
}
DIRNAME=$(dirname $0)
DOCS_XML_DIR=${DIRNAME}/../docs-xml
DOCS_DIR=${DIRNAME}/../bin/docs
pushd ${DOCS_XML_DIR} || exit 1
git clean -xdf || _exit "Error running git clean."
autoconf || _exit "Error running autoconf."
./configure || _exit "Error running configure."
export XML_CATALOG_FILES="file:///etc/xml/catalog file://$(pwd)/build/catalog.xml"
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/ ${DOCS_DIR}/manpages
echo "Success"
exit
# END