NAME texi2ipf WINDOWCOMPAT
DESCRIPTION 'Convert GNU Texinfo files to IPF'
PROTMODE
STACKSIZE 0x30000
