Fix make distclean

There is no `distclean` target defined in `doc/Makefile`, so this previously failed with an error.