info out
tex and texinfo out