Как использовать Tex Live Manager 2018 как администратор?
Как сказал комментатор:
Просто поместите их в default.conf, вы также должны проверить свой default.conf на орфографические ошибки ...1
задан RD017
17 May 2018 в 15:12
поделиться