echo "Replacing xlink-able entities ..."
php tools/xlink-entities.php

echo "Validating manual source ..."
xmllint --noout --postvalid --xinclude source/manual.xml

INVALID=$?
if [ $INVALID -eq 0 ]; then
    
    echo "Removing previous manual ..."
    rm -rf output/manual/*
    
    echo "Copying style sheet ..."
    cp source/manual/style.css output/manual/style.css
    
    echo "Copying figures ..."
    svn export source/manual/figures output/manual/figures
    
    echo "Copying images ..."
    svn export source/manual/images output/manual/images
    
    echo "Building new manual ..."
    xsltproc \
        --xinclude \
        --output output/manual/index.html \
        source/xhtml.xsl \
        source/manual.xml
    
    echo "Highlighting PHP code ..."
    php tools/highlight.php
    
    echo "Done."

else
    
    echo "${INVALID}: Not valid, so not building."    
    exit $INVALID
    
fi