Commit 52ea94d0 authored by MARCHE Claude's avatar MARCHE Claude

avoid a possible failure when generating files for the gallery

parent 560b2b5d
......@@ -674,7 +674,7 @@ gallery-subs::
d=`dirname $$x`; \
f=`basename $$d`; \
echo "exporting $$f"; \
rm $$d/*.bak; \
rm -f $$d/*.bak; \
mkdir -p $(GALLERYDIR)/$$f; \
WHY3CONFIG="" bin/why3session.@OCAMLBEST@ html $$d -o $(GALLERYDIR)/$$f; \
if test -f examples/$$f.mlw; then cp examples/$$f.mlw $(GALLERYDIR)/$$f/; fi; \
......
Markdown is supported
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