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