diff --git a/justfile b/justfile new file mode 100644 index 0000000..8d669d9 --- /dev/null +++ b/justfile @@ -0,0 +1,38 @@ +# Local Variables: +# mode: makefile +# End: +set shell := ["bash", "-uc"] + +outdir := "out" +report_out_path := outdir / "report.pdf" +summary_out_path := outdir / "summary.pdf" + +default: all + +_setup: + mkdir {{outdir}} + +check-links document: + #!/usr/bin/env python3 + import re + import requests + import sys + print("Checking links in {{document}}...") + with open("{{document}}", "rb") as f: + r = rb"