sources for GF RGL tutorial as given in LREC exactly 9 years ago; 'make' now builds html, but some txt macros for LaTeX need to be retargeted for html

2019-05-17 17:31:36 +02:00
1 parent ecd686df78
commit 4c308d0498
@@ -0,0 +1,10 @@
+all: lrecslides-html
+
+lrecslides-tex:
+	txt2tags -ttex gf-lrec-2010.txt
+	cat prelude gf-lrec-2010.tex >tmp.tex
+	mv tmp.tex gf-lrec-2010.tex
+	pdflatex gf-lrec-2010.tex
+
+lrecslides-html:
+	txt2tags -thtml gf-lrec-2010.txt