now the release note and the manual are copied into dist with build_all

This commit is contained in:
2026-05-13 21:24:35 +02:00
parent 95275c4418
commit ab39b49558
2 changed files with 41 additions and 19 deletions

Binary file not shown.