Victor Berger d5f4094cc7 ci: update doc-generating command		2021-10-27 14:15:19 +02:00
..
workflows	ci: update doc-generating command	2021-10-27 14:15:19 +02:00