gcc -o ex2tex.exe ex2tex.c ex2tex makeinfo --no-split grx2.tex