summaryrefslogtreecommitdiff
path: root/Master/tlpkg/doc/JSON-formats.txt
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/doc/JSON-formats.txt')
-rw-r--r--Master/tlpkg/doc/JSON-formats.txt28
1 files changed, 28 insertions, 0 deletions
diff --git a/Master/tlpkg/doc/JSON-formats.txt b/Master/tlpkg/doc/JSON-formats.txt
index d9a1259443e..3447a819f4d 100644
--- a/Master/tlpkg/doc/JSON-formats.txt
+++ b/Master/tlpkg/doc/JSON-formats.txt
@@ -152,6 +152,34 @@ Example for one element of the array:
}
+TLOPTIONS
+---------
+one object with keys are the option names and values are as follows:
+- String for options: sys_bin, sys_info, sys_man, backupdir
+- Boolean: install_srcfiles, install_docfiles, generate_updmap,
+ w32_multi_user, desktop_integration, create_formats, post_code
+- Number: file_assocs, autobackup
+- Object: location: keys are tags, values are URLs (Strings)
+Example:
+{
+ "sys_bin" : "/usr/local/bin",
+ "sys_info" : "/usr/local/share/info",
+ "sys_man" : "/usr/local/share/man",
+ "file_assocs" : 1,
+ "location" : {
+ "main" : "/home/norbert/public_html/tlnet",
+ "tlcritical" : "/home/norbert/public_html/tlcritical",
+ },
+ "autobackup" : 1,
+ "install_srcfiles" : true,
+ "post_code" : true,
+ "create_formats" : true,
+ "backupdir" : "tlpkg/backups",
+ "w32_multi_user" : true,
+ "desktop_integration" : true,
+ "generate_updmap" : false,
+ "install_docfiles" : true
+}
TODO