fix build with --disable-doc