build: more fine-grained dependencies for documentation build tools