Skip to content

Commit

Permalink
Merge pull request #1617 from tjhei/improve_parameter_update_script
Browse files Browse the repository at this point in the history
improve parameter script
  • Loading branch information
gassmoeller committed May 13, 2017
2 parents 5c5b368 + cac057c commit 2b0adfe
Showing 1 changed file with 9 additions and 1 deletion.
10 changes: 9 additions & 1 deletion doc/update_parameters.sh
Expand Up @@ -4,9 +4,17 @@
# you need an in-source build or a symbolic link to the ASPECT binary in the
# main directory.

ASPECT=${1:-"./aspect"}

cd ..

if test ! -f $ASPECT ; then
echo "Please provide the path of the ASPECT executable as the first argument to this script or create a link in the main source directory. "
exit 1
fi

rm -f output/parameters.tex
./aspect doc/manual/empty.prm >/dev/null 2>/dev/null
$ASPECT doc/manual/empty.prm >/dev/null 2>/dev/null || echo "running ASPECT failed"
cp output/parameters.tex doc/manual/ || echo "ERROR: could not copy parameters.tex"
cd doc/manual
echo patching parameters.tex
Expand Down

0 comments on commit 2b0adfe

Please sign in to comment.