2023-05-15 01:52:02 +01:00
|
|
|
|
import os
|
|
|
|
|
import sys
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def main():
|
|
|
|
|
for entry in sys.argv[1:]:
|
|
|
|
|
generate_function_overview_for_category(entry)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def generate_function_overview_for_category(category):
|
|
|
|
|
print(f"## {category.title()}")
|
|
|
|
|
|
2023-06-02 20:40:11 +01:00
|
|
|
|
listdir = os.listdir(os.path.join(os.getcwd(), category))
|
2023-05-15 01:52:02 +01:00
|
|
|
|
listdir.sort()
|
|
|
|
|
|
|
|
|
|
for name in listdir:
|
|
|
|
|
if name.endswith(".md"):
|
|
|
|
|
generate_function_overview(category, name[:-3])
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def generate_function_overview(category, name):
|
2023-06-02 20:40:11 +01:00
|
|
|
|
file_name = f"../../../src/{name}.rs"
|
2023-05-15 01:52:02 +01:00
|
|
|
|
with open(file_name) as f:
|
|
|
|
|
in_code_block = False
|
|
|
|
|
for line in f.readlines():
|
|
|
|
|
if line.startswith("///"):
|
|
|
|
|
line = line.strip().replace("/// ", "")
|
|
|
|
|
print(f"- [{name}](/{category}/{name}.md) – {line}")
|
|
|
|
|
return
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
|
|
|
|
main()
|