Add specification for Profile scripting language

2020-04-14 22:01:41 +02:00
parent bf985a9ca4
commit f7998f4c57
4 changed files with 461 additions and 0 deletions
--- a/temp-profile-spec/Makefile
+++ b/temp-profile-spec/Makefile
@@ -0,0 +1,10 @@
+target=specification
+
+.PHONY: $(target).pdf all clean
+
+all: $(target).pdf
+
+$(target).pdf: $(target).tex
+	latexmk -pdf -pdflatex="pdflatex -interaction=nostopmode -shell-escape" -use-make $^
+clean:
+	latexmk -CA