#!/bin/sh

LC_ALL=POSIX;
export LC_ALL

rm -rf "$HOME/CGAL/Manual_tools-src"
cp -a "$HOME/CGAL/last-manual_tools-branch/Manual_tools" "$HOME/CGAL/Manual_tools-src"
cp -a "$HOME/CGAL/last-manual-branch/Manual/developer_scripts/cgal_manual" "$HOME/bin"

pushd "$HOME/CGAL/Manual_tools-src"

cat > install.config <<'EOF'
export LATEX_CONV_BIN=$HOME/bin
MANUAL_TOOLS_PREFIX=$HOME/CGAL/Manual_tools-installed
export LATEX_CONV_CONFIG=$MANUAL_TOOLS_PREFIX/latex_conv_config
export STYLE_FILES=$MANUAL_TOOLS_PREFIX/sty
EOF

sh install.sh

popd
