src/Doc/Locales/document/root.tex
2014-07-22 wenzelm 2014-07-22 evade problems with MikTeX on Windows;
2014-05-19 wenzelm 2014-05-19 obsolete -- always pdf;
2014-05-19 wenzelm 2014-05-19 prefer T1 with searchable underscore (requires proper cm-super fonts);
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;