Fix doc/ names in Makefile.