Fix make distclean

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