Simplify `make documentation` #39

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
latest (aarch64)	6m 3s
latest (arm)	5m 30s
latest (ppc)	5m 59s
latest (riscv)	5m 44s
latest (x86_32)	5m 42s
latest (x86_64)	5m 48s
	34m 46s