2016-03-30 02:30:05 +02:00
|
|
|
add_cus_dep( 'gloss-glo', 'gloss-gls', 0, 'makegloss' );
|
|
|
|
add_cus_dep( 'symbols-glo', 'symbols-gls', 0, 'makesymbols' );
|
2015-12-17 22:41:54 +01:00
|
|
|
|
2016-03-30 02:30:05 +02:00
|
|
|
sub makegloss {
|
|
|
|
system( "makeindex -t \"$_[0].gloss-glg\" -s \"$_[0].ist\" -o \"$_[0].gloss-gls\" \"$_[0].gloss-glo\"" );
|
2015-12-17 22:41:54 +01:00
|
|
|
}
|
2016-03-30 02:30:05 +02:00
|
|
|
sub makesymbols {
|
|
|
|
system( "makeindex -t \"$_[0].symbols-glg\" -s \"$_[0].ist\" -o \"$_[0].symbols-gls\" \"$_[0].symbols-glo\"" );
|
2015-12-17 22:41:54 +01:00
|
|
|
}
|