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:41:53 +01:00
parent b3fd3a48c4
commit 6cc5804a74
4 changed files with 366 additions and 374 deletions

14
.config/xmonad/.latexmkrc Normal file
View file

@ -0,0 +1,14 @@
# 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;
}