5 Commits

Author SHA1 Message Date
96b61f9d76 update convert script to latest state 2022-08-25 09:43:06 +02:00
94f4df5276 add script for syncing docs 2022-08-25 09:09:46 +02:00
1d9eff3b2a Extend docs with links
- add links to the docs
- add tools/sort_metadata to resort data
2022-08-23 10:34:31 +02:00
5f3eaf843e next updates 2022-08-23 09:29:16 +02:00
2ff9eeca27 Create doc-exports metadata generator script
- add script to generate metadata file for doc-exports repository
- fix metadata issues which became visible with that script
2022-08-22 12:04:17 +02:00