* doc/Makefile: sync with nightly build makefile