make-docs.py (2801B) download
1import sys
2import re
3
4if len(sys.argv) < 2:
5 print("make-docs.py <template> [infile]")
6 exit(1)
7
8temp_path = sys.argv[1]
9infile = sys.stdin
10if len(sys.argv) >= 3:
11 infile = open(sys.argv[2])
12
13WIDTH = 80
14HEADER_CHAR = '='
15TITLE_CHAR = '-'
16HEADER_SUFFIX = "<span class=right><span id=toggle_dark onclick=toggle_dark()> turn the lights off </span> <a href=https://github.com/friedelschoen/fiss><img id=github alt=GitHub src=github-mark.svg /></a></span>"
17HEADER_TEMPLATE = "<span class=header><a class=title id=top href=#top>{text}</a><span class=right><span id=toggle_dark onclick=toggle_dark()> turn the lights on </span> <a href=https://github.com/friedelschoen/fiss><img id=github alt=GitHub src=github-mark.svg /></a></span></span>"
18TITLE_TEMPLATE = "<a class=title id={id} href=#{id}>{text}</a>"
19
20with open(temp_path) as temp:
21 PREFIX, SUFFIX = temp.read().split('%%%', 1)
22
23def inline_convert(text):
24 text = re.sub(r'\*(.+?)\*', r'<b>\1</b>', text)
25 text = re.sub(r'_(.+?)_', r'<u>\1</u>', text)
26 text = re.sub(r'\[(.*?)\]\((.*?)\)', r'<a href="\2">\1</a>', text)
27 return text
28
29in_code = False
30in_list = None
31
32print(PREFIX)
33
34for line in infile:
35 line = line.strip()
36
37 # is control
38 if line.startswith("@man"):
39 pass
40 elif line.startswith("@header"):
41 _, text = line.split(" ", 1)
42 print(HEADER_TEMPLATE.format(text=text))
43 sys.stdout.write(HEADER_CHAR * WIDTH)
44 elif line.startswith("@title"):
45 _, id, text = line.split(" ", 2)
46 print(TITLE_TEMPLATE.format(id=id, text=text))
47 sys.stdout.write(TITLE_CHAR * WIDTH)
48 elif line.startswith("@code"):
49 width = WIDTH -2
50 if in_list:
51 width -= 2
52 print('+' + '-' * width + '+')
53 in_code = True
54 elif line.startswith("@endcode"):
55 width = WIDTH -2
56 if in_list:
57 width -= 2
58 sys.stdout.write('+' + '-' * width + '+')
59 in_code = False
60 elif line.startswith("@list"):
61 if ' ' in line:
62 _, in_list = line.split(' ')
63 else:
64 in_list = '*'
65 sys.stdout.write(f"<div class=list>{in_list} ")
66 elif line.startswith("@endlist"):
67 sys.stdout.write("</div>")
68 in_list = None
69 elif line == '~':
70 print()
71
72 elif in_code:
73 padding = WIDTH - 4 - len(line)
74 if in_list:
75 padding -= 2
76 if padding < 0:
77 padding = 0
78 print('| ' + line + ' ' * padding + ' |')
79 elif line.endswith('~'):
80 print(inline_convert(line[:-1]))
81 elif line:
82 sys.stdout.write(inline_convert(line) + ' ')
83 elif in_list: # is empty but in line
84 sys.stdout.write(f"</div>\n<div class=list>{in_list} ")
85 else: # is empty
86 print('\n')
87
88print(SUFFIX)