this is covered by `make doc` already.