diff options
| -rw-r--r-- | scripts/make-relaxng.py | 2 | ||||
| -rw-r--r-- | scripts/rpki/relaxng.py | 4 |
2 files changed, 6 insertions, 0 deletions
diff --git a/scripts/make-relaxng.py b/scripts/make-relaxng.py index f7ee9dac..b06f9f0a 100644 --- a/scripts/make-relaxng.py +++ b/scripts/make-relaxng.py @@ -6,6 +6,8 @@ print "import lxml.etree" for varname, filename in (("left_right", "left-right-schema.rng"), ("up_down", "up-down-schema.rng")): + print "## @var %s" % varname + print "## Parsed RelaxNG %s schema" % varname f = open(filename) print "\n%s = lxml.etree.RelaxNG(lxml.etree.fromstring('''%s'''))" % (varname, f.read()) f.close() diff --git a/scripts/rpki/relaxng.py b/scripts/rpki/relaxng.py index e19323b5..c037c36a 100644 --- a/scripts/rpki/relaxng.py +++ b/scripts/rpki/relaxng.py @@ -1,6 +1,8 @@ # Automatically generated, do not edit. import lxml.etree +## @var left_right +## Parsed RelaxNG left_right schema left_right = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" encoding="UTF-8"?> <!-- @@ -905,6 +907,8 @@ left_right = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" enc </define> </grammar> ''')) +## @var up_down +## Parsed RelaxNG up_down schema up_down = lxml.etree.RelaxNG(lxml.etree.fromstring('''<?xml version="1.0" encoding="UTF-8"?> <!-- |