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/functions.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/functions.xml')
0 files changed, 0 insertions, 0 deletions