manuals code finished

2026-05-20 22:33:43 +02:00 · 2023-08-11 01:52:23 -04:00
parent 49c02b2446
commit 9af0a9051c
6 changed files with 6 additions and 1 deletions
@@ -55,7 +55,7 @@ for line in md:
    line = line.replace('ó', 'ɠ')  # this is a dirty trick to avoid tripping 'ó' which is a legit LATIN-1 char
    if line.startswith('#'):  # header
        line = remove_wierd(line)
-        out += '←' + line  # header marker
+        out += '←' + line[1:]  # header marker
        out += '-' * len(line) + '\n'
    else:
        line = remove_wierd(line)