4 Commits

Include renames

Author	SHA1	Message	Date
gtema	94f4df5276	add script for syncing docs	2022-08-25 09:09:46 +02:00
gtema	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
gtema	5f3eaf843e	next updates	2022-08-23 09:29:16 +02:00
gtema	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