From 5e5ed04badd42048960c52af103f336801a19ba6 Mon Sep 17 00:00:00 2001 From: afranco Date: Wed, 5 Feb 2025 17:04:14 +0000 Subject: [PATCH] chore(latexmkrc): removed file due to no longer using lhs --- .latexmkrc | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 .latexmkrc diff --git a/.latexmkrc b/.latexmkrc deleted file mode 100644 index e7d1b48..0000000 --- a/.latexmkrc +++ /dev/null @@ -1,17 +0,0 @@ -# Use subroutine to do preprocessing and running pdflatex -$pdflatex = 'internal mylatex %B %O'; -sub mylatex { - my $base = shift @_; - my $tex = "$base.tex"; - - # Run the preprocessor - if (-e "$base.lhs" && `which lhs2TeX` ne "") { - # Run the preprocessor - system('lhs2TeX', '--poly', '-o', $tex, "$base.lhs") == 0 or return $?; - } - # Run pdflatex - my $return = system('pdflatex', @_, $tex); - system "echo INPUT $base.lhs >> $aux_dir1$base.fls"; - return $return; -} -