diff --git a/Makefile.in b/Makefile.in
index 59d72ae75143a45ff762b1377b258dfc0c3f56e2..15e23adb41e306153b059dc968d34715336641f4 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -9,3 +9,6 @@ endif
 clean:
 	rm -f *.pdf *.toc *.aux *.log *.nav *.snm *.vrb *.out *~
 .PHONY: clean
+
+Makefile: Makefile.in ../../config.status
+	cd ../.. && ./config.status