chore(latexmkrc): only use lhs2TeX if it's an lhs file

2024-03-03 17:05:13 +00:00
parent c15861e1a2
commit 9d8f5b9f53
1 changed files with 4 additions and 1 deletions
--- a/.latexmkrc
+++ b/.latexmkrc
@@ -5,7 +5,10 @@ sub mylatex {
  my $tex = "$base.tex";

  # Run the preprocessor
-  system('lhs2TeX', '--poly', '-o', $tex, "$base.lhs") == 0 or return $?;
+  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";