build: fix "make install" with documentation disabled