Merge branch 'master' of ssh://git.betalupi.com:33/Mark/ormc-handouts
This commit is contained in:
commit
8bf5c71aa8
0
Advanced/DFAs/starred
Normal file
0
Advanced/DFAs/starred
Normal file
0
Advanced/Definable Sets/starred
Normal file
0
Advanced/Definable Sets/starred
Normal file
0
Advanced/Mock a Mockingbird/starred
Normal file
0
Advanced/Mock a Mockingbird/starred
Normal file
0
Advanced/Size of Sets/starred
Normal file
0
Advanced/Size of Sets/starred
Normal file
7
build.sh
7
build.sh
@ -97,7 +97,12 @@ function build() {
|
||||
echo -n "\"description\": \"${job_name}\"",
|
||||
echo -n "\"handout\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.pdf\","
|
||||
if [[ $solution_stat == 0 ]]; then
|
||||
echo -n "\"solutions\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.sols.pdf\""
|
||||
echo -n "\"solutions\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.sols.pdf\","
|
||||
fi
|
||||
if [ -f "starred" ]; then
|
||||
echo -n "\"starred\": true"
|
||||
else
|
||||
echo -n "\"starred\": false"
|
||||
fi
|
||||
echo -n "},"
|
||||
) >> "$target_dir/index.json"
|
||||
|
Loading…
x
Reference in New Issue
Block a user