diff options
| author | Christian Grothoff <christian@grothoff.org> | 2015-01-08 18:37:20 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2015-01-08 18:37:20 +0100 |
| commit | 57d1f08dbca256f5fe16d57b29bfa523dec8f6c4 (patch) | |
| tree | 3b3ee5f3b8c174887217e5c465048dea4e79bae2 /doc/paper/.latexmkrc | |
-initial import for mint
Diffstat (limited to 'doc/paper/.latexmkrc')
| -rw-r--r-- | doc/paper/.latexmkrc | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/paper/.latexmkrc b/doc/paper/.latexmkrc new file mode 100644 index 00000000..16bc358f --- /dev/null +++ b/doc/paper/.latexmkrc @@ -0,0 +1,15 @@ +add_cus_dep('glo', 'gls', 0, 'run_makeglossaries'); +add_cus_dep('acn', 'acr', 0, 'run_makeglossaries'); + +sub run_makeglossaries { + if ( $silent ) { + system "makeglossaries -q '$_[0]'"; + } + else { + system "makeglossaries '$_[0]'"; + }; +} + +push @generated_exts, 'glo', 'gls', 'glg'; +push @generated_exts, 'acn', 'acr', 'alg'; +$clean_ext .= ' %R.ist %R.xdy'; |
