Create info-ext.tex