build: fix error when running `configure --disable-doc`

Signed-off-by: Thomas Haller <thaller@redhat.com>