Bug: remove config.h

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi John,

somewhere while the build process the files src/config.h is created. But
the distclean target do not remove it.

Bye, Jörg.
-- 
"Politics is for the moment, equations are forever"
         -- Albert Einstein

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.