diff options
Diffstat (limited to 'support/xtexshell/help/update_help')
-rwxr-xr-x | support/xtexshell/help/update_help | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/support/xtexshell/help/update_help b/support/xtexshell/help/update_help new file mode 100755 index 0000000000..db94561304 --- /dev/null +++ b/support/xtexshell/help/update_help @@ -0,0 +1,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*
\ No newline at end of file |