2023-10-19 01:34:46 +02:00
|
|
|
# This is the .latexmkrc file that needs to be used for compiling the documentation
|
|
|
|
|
# Note that the makeindex command is non-standard and follows the LaTeX3 architecture
|
|
|
|
|
# Without this, generating the indexes properly will not work and leads to compiling
|
|
|
|
|
# errors.
|
|
|
|
|
# When adding new packages, this should be symlinked to in each new directory,
|
|
|
|
|
# so that a call to latexmk will automatically use these options
|
|
|
|
|
|
2022-01-30 20:55:56 +01:00
|
|
|
$makeindex = 'makeindex -s gind.ist %O -o %D %S';
|
|
|
|
|
$clean_ext .= ' glo';
|
|
|
|
|
$clean_ext .= ' hd';
|
|
|
|
|
$clean_ext .= ' ins';
|
|
|
|
|
$pdf_mode = 1;
|
|
|
|
|
$print='pdf';
|
|
|
|
|
$pdflatex = 'pdflatex --shell-escape %O %S';
|
