copy of core.ott to start work on mucore paper type system

rems-project · Apr 19, 2021 · a176d20 · a176d20
1 parent a9b9eef
commit a176d20
Show file tree

Hide file tree

Showing 2 changed files with 685 additions and 0 deletions.
diff --git a/cn_ott/Makefile b/cn_ott/Makefile
@@ -0,0 +1,13 @@
+all:
+	ott -o mucore.lem -o mucore.tex mucore.ott
+	ott -o mucore-inc.tex -tex_wrap false mucore.ott
+	pdflatex mucore.tex
+
+clean:
+	rm -rf *~
+	rm -rf mucore.aux
+	rm -rf mucore-inc.tex
+	rm -rf mucore.lem
+	rm -rf mucore.log
+	rm -rf mucore.pdf
+	rm -rf mucore.tex