diff --git a/Advanced/DFAs/starred b/Advanced/DFAs/starred new file mode 100644 index 0000000..e69de29 diff --git a/Advanced/Definable Sets/starred b/Advanced/Definable Sets/starred new file mode 100644 index 0000000..e69de29 diff --git a/Advanced/Mock a Mockingbird/starred b/Advanced/Mock a Mockingbird/starred new file mode 100644 index 0000000..e69de29 diff --git a/Advanced/Size of Sets/starred b/Advanced/Size of Sets/starred new file mode 100644 index 0000000..e69de29 diff --git a/build.sh b/build.sh index 225e078..afe0f93 100755 --- a/build.sh +++ b/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"