dev.distribute_regen: added doc/Makefile patch-hack