Changed HS to LHS (needs to be revisited in the future) and removed default bindings

This commit is contained in:
afonsofrancof 2022-10-26 12:42:12 +01:00
parent 6cc5804a74
commit ecfd1ad68d

View file

@ -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;
}