* commit 'f187557a':
  build: more fine-grained dependencies for documentation build tools

Conflicts:
	configure
	doc/Makefile
Merged-by: Michael Niedermayer <michaelni@gmx.at>