PTEXJTEXCONFIG(1) - manual page | User commands

Shell script to generate formats files for ajtex/ajlatex.