Fix build when configure is called with --disable-doc