diff --git a/src/example.py b/src/example.py index fa245a0dce7c3c49638958b3e60ec0ec9db16c3f..ca6c05d1563da0c01646c7801167ad5a37481339 100644 --- a/src/example.py +++ b/src/example.py @@ -92,7 +92,7 @@ def parse_all_examples(txt): if filename == "": filename = "{:02d}".format(i) + ".yaml" i = i + 1 - filename = clause+"-"+filename + filename = clause+"-"+filename new_example = "# " + filename + "\n" + linetext elif new_example != "" and is_body_of_example(linetext): new_example = new_example + "\n" + linetext