Makefile: remove some docs for things scripts can't access