build: doc: more fine-grained dependencies for generated texi files