diff options
Diffstat (limited to 'bin/docs-validate.py')
| -rw-r--r-- | bin/docs-validate.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/docs-validate.py b/bin/docs-validate.py index fc90ee7..1ed0da0 100644 --- a/bin/docs-validate.py +++ b/bin/docs-validate.py @@ -2,10 +2,6 @@ # # Searches through the whole source tree and validates all # documentation files against our own XSD in docs/xsd. -# Additionally, it rewrites all files such that the XML gets -# pretty-printed in a consistent way. This is done to ensure that -# merging and diffing doesn't get too hard when people start to -# use different XML editors... # import os |