Since several generated files are under version control, their
timestamps are essentially random and rebuilding documentation using
Makefile dependencies can't work reliably. Simply add a phony rebuild
target that regenerates the whole documentation and other files
unconditionally.
make -C doc rebuild
