diff options
Diffstat (limited to 'scripts/make-relaxng.py')
| -rw-r--r-- | scripts/make-relaxng.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/make-relaxng.py b/scripts/make-relaxng.py index b06f9f0a..c44d1a11 100644 --- a/scripts/make-relaxng.py +++ b/scripts/make-relaxng.py @@ -1,13 +1,13 @@ # $Id$ +"""Script to generate rpki.relaxng.py.""" + print "# Automatically generated, do not edit." print 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()) + print "\n## @var %s\n## Parsed RelaxNG %s schema\n%s = lxml.etree.RelaxNG(lxml.etree.fromstring('''%s'''))" % (varname, varname, varname, f.read()) f.close() |