diff --git a/Makefile b/Makefile index 3a710e54b..47f6256e4 100644 --- a/Makefile +++ b/Makefile @@ -940,3 +940,4 @@ cleanbin: Clean: clean cleanbin cleandocs rm -f TAGS tags +-include Makefile.local