diff --git a/scripts/download-katex-assets.sh b/scripts/download-katex-assets.sh index 68ee1bcb..9c555b6b 100755 --- a/scripts/download-katex-assets.sh +++ b/scripts/download-katex-assets.sh @@ -1,5 +1,6 @@ #!/bin/bash - +# +# Download the KaTeX fonts and CSS, and copy them into `static`. set -e root=$(git rev-parse --show-toplevel)