summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Buchholz <rbu@goodpoint.de>2009-09-25 00:31:08 +0200
committerRobert Buchholz <rbu@goodpoint.de>2009-09-25 00:31:08 +0200
commitda6a26a0f4dac33c34273ca179331a9a7c43d1de (patch)
tree95b2c693571463e4941f6bc442b98faaed591abd /validate.sh
parentAdd simple validation script (diff)
downloadrepositories-xml-format-da6a26a0f4dac33c34273ca179331a9a7c43d1de.tar.gz
repositories-xml-format-da6a26a0f4dac33c34273ca179331a9a7c43d1de.tar.bz2
repositories-xml-format-da6a26a0f4dac33c34273ca179331a9a7c43d1de.zip
Tidy up and add planning for repo config
Rename documentation of status quo from overlays.* to layman-global.* Add plans for the new repository config
Diffstat (limited to 'validate.sh')
-rwxr-xr-xvalidate.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/validate.sh b/validate.sh
index d944a26..c0eae3a 100755
--- a/validate.sh
+++ b/validate.sh
@@ -1,12 +1,12 @@
#!/usr/bin/env bash
echo '== DTD =='
-xmllint --noout --dtdvalid overlays.dtd overlays.xml \
+xmllint --noout --dtdvalid layman-global.dtd layman-global.xml \
&& echo VALID \
|| echo BROKEN
echo
echo '== Relax NG =='
-xmllint --noout --relaxng overlays.rng overlays.xml \
+xmllint --noout --relaxng layman-global.rng layman-global.xml \
&& echo VALID \
|| echo BROKEN
echo