Fix and detect duplicates in Authors.rst

develop
lethosor 2023-02-10 15:58:18 -05:00
parent ecce87ed50
commit 9434cd3d64
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
2 changed files with 2 additions and 1 deletions

@ -35,6 +35,8 @@ def main():
error(line_number, 'bad table divider') error(line_number, 'bad table divider')
if line != lines[first_div_index]: if line != lines[first_div_index]:
error(line_number, 'malformed table divider') error(line_number, 'malformed table divider')
if line == lines[first_div_index + i - 1]:
error(line_number, 'duplicate of previous line')
if len(div_indices) < 3: if len(div_indices) < 3:
error(len(lines), 'missing table divider(s)') error(len(lines), 'missing table divider(s)')
for i in div_indices[3:]: for i in div_indices[3:]:

@ -156,7 +156,6 @@ Peter Hansen previsualconsent
Petr Mrázek peterix Petr Mrázek peterix
Pfhreak Pfhreak Pfhreak Pfhreak
Pierre Lulé plule Pierre Lulé plule
Pierre Lulé plule
Pierre-David Bélanger pierredavidbelanger Pierre-David Bélanger pierredavidbelanger
potato potato
ppaawwll ppaawwll 🐇🐇🐇🐇 ppaawwll ppaawwll 🐇🐇🐇🐇