diff --git a/Makefile.in b/Makefile.in index 997ad9ca..a8d2af7c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -97,3 +97,9 @@ clean: location.hh \ stack.hh \ position.hh + + +# Recreate Makefile when necessary + +Makefile: Makefile.in ../config.status + cd .. && ./config.status