Fix make distclean

There is no distclean target defined in doc, so this previously failed
Merge pull request #3216 from simonster/distclean

Fix make distclean