Make doc/misc/Makefile.in look more like the other doc Makefiles