Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

update description in update_parameters.sh #5294

Merged
merged 1 commit into from
Jul 13, 2023
Merged

update description in update_parameters.sh #5294

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
6 changes: 3 additions & 3 deletions doc/update_parameters.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#!/bin/bash

# run this script from the doc directory to update parameters.tex. Note that
# you need an in-source build or a symbolic link to the ASPECT binary in the
# run this script from the doc directory to update the parameters for the documentation.
# Note that you need an in-source build or a symbolic link to the ASPECT binary in the
# main directory.

ASPECT=${1:-"./aspect"}
Expand All @@ -10,7 +10,7 @@ pushd .
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. "
echo "Please provide the absolute path of the ASPECT executable as the first argument to this script or create a link in the main source directory. "
exit 1
fi

Expand Down