-#!/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
rsync -Ca ${DOCS_XML_DIR}/output/manpages/ ${DOCS_DIR}/manpages
+pushd ${DOCS_XML_DIR} || exit 1
+make realdistclean || _exit "Error running make realdistclean"
+popd
+
echo "Success"
exit