Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | default.nix | 8670 | log plain blame |
-rw-r--r-- | generateDoc.py | 3068 | log plain blame |
-rw-r--r-- | mergeJSON.py | 12207 | log plain blame |
-rw-r--r-- | options-to-docbook.xsl | 10273 | log plain blame |
-rw-r--r-- | optionsJSONtoXML.nix | 144 | log plain blame |
-rw-r--r-- | postprocess-option-descriptions.xsl | 4873 | log plain blame |
-rw-r--r-- | sortXML.py | 689 | log plain blame |