Fix doc/* names in Makefile.