Commit db593aaf authored by MARCHE Claude's avatar MARCHE Claude
Browse files

gallery zip files should not include .bak files

parent 0c3f68b5
......@@ -656,6 +656,7 @@ gallery-subs::
d=`dirname $$x`; \
f=`basename $$d`; \
why3 session html $$d; \
rm $$d/*.bak; \
echo "exporting $$f"; \
mkdir -p $(GALLERYDIR)/$$f; \
if test -f examples/$$f.mlw; then cp examples/$$f.mlw $(GALLERYDIR)/$$f/; fi; \
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment