Add make dist rule for doc/misc/Makefile, for www.gnu.org