Small hotfix for docs workflow #238

Job	Run time
build (js, macos-latest)	1m 16s
build (cpp, ubuntu-latest)	1m 28s
build (python, macos-latest)	48s
build (cpp, macos-latest)	1m 41s
build (rust, ubuntu-latest)	5m 40s
build (js, ubuntu-latest)	1m 9s
build (rustjswasm, macos-latest)	6m 53s
build (rustjswasm, ubuntu-latest)	8m 1s
build (cppjswasm, ubuntu-latest)	2m 10s
build (cppjswasm, macos-latest)	2m 14s
build (rust, macos-latest)	5m 15s
build (python, ubuntu-latest)	29s
build (jupyter, macos-latest)	1m 56s
build (jupyter, ubuntu-latest)	2m 2s
	41m 2s

Provide feedback