4 ms·It is possible to convert the TexInfo file to a PDFby deanmen 4y agoIt is possible to convert the TexInfo file to a PDF