Makefile: rebuild if doc.h changes