A deleted docs file was still left in the Makefile. At the same time, add
Hacking.md to the makefile so that it is distributed.

Unreviewed.