add missing file
parent
16196db489
commit
394b5da71b
|
@ -0,0 +1,2 @@
|
|||
#!/bin/sh
|
||||
makeindex -s $1.ist -t $1.glg -o $1.gls $1.glo
|
Loading…
Reference in New Issue