diff options
author | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2018-05-31 20:26:27 -0400 |
---|---|---|
committer | Samuel Dionne-Riel <samuel@dionne-riel.com> | 2018-05-31 21:02:15 -0400 |
commit | bc0421c4cf18c431ece8d6a19f723159316f55ff (patch) | |
tree | 6c81b79df1a0ad4c24519a508f15e81fea2d5126 /doc/stdenv.xml | |
parent | aa59151c21c353923b3f003662f17f2210c63c57 (diff) |
doc: Adds xml fixing script. (see previous and next commits)
This script is used to automatically fix issues within xml documentation files. The script is *for now* intended to be used ad-hoc, and the commits to be examined. A future discussion will define whether: * This commit and scripts are kept. * The script is extended for common use. The biggest issue right now with the script is that it *could* in theory destroy a valid space-less varlistentry. The script could, in practical use, be changed and extended to normalize some parts of the XML files, mainly: * A common quoting style for attributes * Fix-up some weird formatting automatically that xmlformat doesn't catch
Diffstat (limited to 'doc/stdenv.xml')
0 files changed, 0 insertions, 0 deletions