diff --git a/Makefile b/Makefile index 7bad65db..85bdcf24 100644 --- a/Makefile +++ b/Makefile @@ -52,4 +52,10 @@ update-jbuilds: $(BIN) rm -f doc/jbuild mv doc/jbuild.tmp doc/jbuild +accept-corrections: + for i in `find . -name \*.corrected`; do \ + cp $$i $${i/.corrected}; \ + done + .PHONY: default install uninstall reinstall clean test doc +.PHONY: accept-corrections