Don't overlap makefile target with directory name

This fixes the "can't do make dist without doxygen running" bug