chore: Changed HS to LHS (needs to be revisited in the future) and removed default bindings
This commit is contained in:
@@ -1,14 +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
|
||||
system('lhs2TeX', '--poly', '-o', $tex, "$base.lhs") == 0 or return $?;
|
||||
# Run pdflatex
|
||||
my $return = system('pdflatex','-output-directory','./LaTeX-build', @_, $tex);
|
||||
system "echo INPUT $base.lhs >> $aux_dir1$base.fls";
|
||||
return $return;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user