update option names in the profile file according to #133 (comment)

rstudio · Aug 7, 2020 · e021597 · e021597
1 parent d104115
commit e021597
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/tools/tinytex.profile b/tools/tinytex.profile
@@ -6,8 +6,8 @@ TEXMFSYSCONFIG ./texmf-config
 TEXMFLOCAL ./texmf-local
 TEXMFSYSVAR ./texmf-var
 
-option_doc 0
-option_src 0
-option_autobackup 0
+tlpdbopt_install_docfiles 0
+tlpdbopt_install_srcfiles 0
+tlpdbopt_autobackup 0
 
-portable 1
+instopt_portable 1