Texdoc debug-config: Setting 'rm_file=rm -f' from built-in defaults. Texdoc debug-config: Setting 'badext_list=txt, ' from built-in defaults. Texdoc debug-config: Setting 'ext_list=pdf, htm, html, txt, ps, dvi, ' from built-in defaults. Texdoc debug-config: Setting 'machine_switch=false' from built-in defaults. Texdoc debug-config: Setting 'badbasename_list=readme, 00readme' from built-in defaults. Texdoc debug-config: Setting 'fuzzy_level=5' from built-in defaults. Texdoc debug-config: Setting 'interact_switch=true' from built-in defaults. Texdoc debug-config: Setting 'max_lines=20' from built-in defaults. Texdoc debug-config: Setting 'mode=view' from built-in defaults. Texdoc debug-config: Setting 'basename_list=readme, 00readme' from built-in defaults. Texdoc debug-config: Setting 'verbosity_level=2' from built-in defaults. Texdoc debug-config: Setting 'lang=en' from operating system locale. Texdoc debug-config: Setting 'lastfile_switch=true' in file "/usr/share/texmf-dist/texdoc/texdoc.cnf" on line 509. doc, /doc, manual, /manual, -manual, userguide, /user_guide, -guide, -user, -man, notes, -info, ref' in file "/usr/share/texmf-dist/texdoc/texdoc.cnf" on line 95. Texdoc debug-config: Setting 'suffix_list=doc, -doc, _doc. Texdoc debug-config: Setting 'debug_list=all' from command line option "-debug". Texdoc debug-version: /usr/share/texmf-dist/scripts/texdoc/texdoclib.tlu version 3.0
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |