Also limit XML line length in examples

oasis-tcs · Jan 1, 2024 · d5cc2b0 · d5cc2b0
1 parent bc18c0b
commit d5cc2b0
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/dmlex-v1.0/specification/examples/examples/build_source.py b/dmlex-v1.0/specification/examples/examples/build_source.py
@@ -15,7 +15,12 @@
     with open(f) as inf:
         with open(f + ".xml", "w") as outf:
             outf.write("<programlisting>\n")
-            outf.write(inf.read().replace("<", "&lt;").replace(">", "&gt;"))
+            for line in inf.readlines():
+                while len(line) > N:
+                    outf.write(line[:N].replace("<", "&lt;").replace(">", "&gt;"))
+                    outf.write("\n")
+                    line = line[N:]
+                outf.write(line.replace("<", "&lt;").replace(">", "&gt;"))
             outf.write("</programlisting>\n")
 
 for f in glob("source/*.rdf"):