From e18369630621ccaf2d9c469de6bb08b65eb485b3 Mon Sep 17 00:00:00 2001 From: Christiaan Baaij Date: Thu, 11 Feb 2010 12:30:36 +0100 Subject: [PATCH] Set latexmk to continous preview, requires custom latexmkrc to call lhs2tex --- Makefile | 3 +-- latexmkrc | 2 ++ 2 files changed, 3 insertions(+), 2 deletions(-) create mode 100644 latexmkrc diff --git a/Makefile b/Makefile index f1782ef..3329679 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,5 @@ all: - lhs2TeX -v --poly < cλash.lhs > cλash.tex - latexmk -pdf -pv cλash.tex + latexmk -r latexmkrc -pdf -pvc cλash.lhs clean: latexmk -CA diff --git a/latexmkrc b/latexmkrc new file mode 100644 index 0000000..153eca0 --- /dev/null +++ b/latexmkrc @@ -0,0 +1,2 @@ +$pdflatex = 'lhs2TeX -v --poly < cλash.lhs > cλash.tex; pdflatex -file-line-error -halt-on-error -synctex=1 cλash.tex cλash.pdf'; +$clean_ext = "synctex.gz ptb tex"; \ No newline at end of file -- 2.30.2