Doc/dist/dist.tex: avoid uncommenting the verbose environment (by the py2texi tool)
Attach a file by drag & drop or click to upload
