Don't rely on git to find the root path

Co-authored-by: Richard van der Hoff <1389908+richvdh@users.noreply.github.com>
pull/2226/head
Johannes Marbach 1 month ago committed by GitHub
parent 4dc44c1021
commit 3fe74be1bd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -3,7 +3,7 @@
# Download the KaTeX fonts and CSS, and copy them into `static`.
set -e
root=$(git rev-parse --show-toplevel)
root=$(dirname "$0")/..
# Check that the caller supplied a version.
version=$1

Loading…
Cancel
Save