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

This commit is contained in:
Afonso Franco 2022-10-26 12:41:53 +01:00
parent 53c38dc04e
commit 41858185ae
Signed by: afonso
SSH key fingerprint: SHA256:gkVPzsQQJzqi21ntQBV6pXTx4bYI53rFGI4XtvCpwd4
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;
}