Felix Krull dc69966a9f ci: change docs build command		2022-05-06 12:53:56 -04:00
..
rust	ci: change docs build command	2022-05-06 12:53:56 -04:00