build: doc: more fine-grained dependencies for generated texi files
authorDiego Biurrun <diego@biurrun.de>
Mon, 12 Sep 2016 15:42:28 +0000 (17:42 +0200)
committerDiego Biurrun <diego@biurrun.de>
Thu, 15 Sep 2016 19:37:16 +0000 (21:37 +0200)
commit8c201dde0ab62e5cd581d958e78d7609e0ba710d
tree4495bf181a781f794f70171d64eb9589508400b1
parentbc7399934def210c2a84ea51375d50f79c676c96
build: doc: more fine-grained dependencies for generated texi files
doc/Makefile