hotdoc.mk: make build depend on the Makefile as well.
hotdoc.mk: make build depend on the Makefile as well.

thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc