mirror of https://github.com/CGAL/cgal
22 lines
537 B
Bash
Executable File
22 lines
537 B
Bash
Executable File
#!/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
|