+dist/configure.ac: configure.ac matita/dist/configure.ac.sed
+ sed -f matita/dist/configure.ac.sed < $< > $@
+dist/configure: dist/configure.ac
+ cd dist && autoconf
+dist_mktmpdir:
+ test -d dist || mkdir dist
+dist_rmtmpdir:
+ test -d dist && rm -rf dist/ || true
+dist_export: dist/configure