Fix PR comments
This commit is contained in:
parent
ba4998a62b
commit
cf8abdafd4
1 changed files with 3 additions and 3 deletions
|
@ -33,7 +33,7 @@ def check_valid_section(filename, section):
|
||||||
|
|
||||||
# we need TWO new lines else the next file's title gets merged
|
# we need TWO new lines else the next file's title gets merged
|
||||||
# the last paragraph *WITHOUT RST PRODUCING A WARNING*
|
# the last paragraph *WITHOUT RST PRODUCING A WARNING*
|
||||||
if not section[-2:] == '\n\n':
|
if not section[-2:] == "\n\n":
|
||||||
raise Exception(
|
raise Exception(
|
||||||
"The file " + filename + " does not end with 2 new lines."
|
"The file " + filename + " does not end with 2 new lines."
|
||||||
)
|
)
|
||||||
|
@ -72,7 +72,7 @@ def cat_spec_sections_to(out_file_name):
|
||||||
for f in sorted(glob.glob("../specification/*.rst")):
|
for f in sorted(glob.glob("../specification/*.rst")):
|
||||||
with open(f, "rb") as infile:
|
with open(f, "rb") as infile:
|
||||||
section = infile.read()
|
section = infile.read()
|
||||||
check_valid_section(f.split("/")[-1], section)
|
check_valid_section(os.path.basename(f), section)
|
||||||
outfile.write(section)
|
outfile.write(section)
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue