blob: db945613040524d5e80f7166448406cced8b9271 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/sh
#***
#*** Assemble new help.index index file
#***
convhelp help_xtex tmp1
convhelp help_latex tmp2
convhelp help_tools tmp3
cat tmp1 tmp2 tmp3 | sort -d -f > help.index
rm tmp*
|