2024-11-15 11:22:01 +00:00
|
|
|
#!/usr/bin/env python
|
2023-12-07 15:36:01 +01:00
|
|
|
|
2024-12-16 08:40:56 +00:00
|
|
|
import json
|
|
|
|
|
|
|
|
|
|
from tools import index, Readme
|
2023-07-16 07:43:02 +00:00
|
|
|
|
|
|
|
|
with open("README.md", "w") as f1:
|
2023-10-27 13:42:33 +02:00
|
|
|
f1.writelines(Readme().content)
|
2024-12-16 08:40:56 +00:00
|
|
|
|
|
|
|
|
result = []
|
|
|
|
|
for fep in index():
|
|
|
|
|
data = fep.parsed_frontmatter
|
|
|
|
|
data["title"] = fep.title
|
2025-09-21 20:18:39 +02:00
|
|
|
data["implementations"] = fep.implementations
|
2024-12-16 08:40:56 +00:00
|
|
|
result.append(data)
|
|
|
|
|
|
|
|
|
|
with open("index.json", "w") as index_file:
|
|
|
|
|
json.dump(result, index_file, indent=2)
|
