#!/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*