diff --git a/Examples/Makefile.postamble b/Examples/Makefile.postamble index 4fa2ecea6..e355f0e1b 100644 --- a/Examples/Makefile.postamble +++ b/Examples/Makefile.postamble @@ -71,10 +71,3 @@ # Things to do after checking # after-check:: -regenerate: - -copy-dist: $(DIST_FILES) - mkdir ../snap/examples - for f in $(DIST_FILES); do \ - cp $$f ../snap/examples ; \ - done