Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | default.nix | 7812 | log plain blame |
-rw-r--r-- | generateDoc.py | 3437 | log plain blame |
-rw-r--r-- | mergeJSON.py | 12717 | log plain blame |
-rw-r--r-- | options-to-docbook.xsl | 7927 | 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 |