Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Makefile: gallery-subs to export complex examples with multiple files

parent 7d95097e
......@@ -588,6 +588,22 @@ gallery::
cd ..; \
done
.PHONY: gallery-subs
GALLERYSUBS=avl
gallery-subs::
@for d in $(GALLERYSUBS) ; do \
echo "exporting examples/$$d"; \
rm -f $(GALLERYDIR)/$$d/$$d.zip; \
cd examples/$$d; \
why3 -L . doc --stdlib-url http://why3.lri.fr/stdlib/ *.mlw -o $(GALLERYDIR)/$$d; \
cd ..; \
zip -r $(GALLERYDIR)/$$d/$$d.zip $$d; \
cd ..; \
done
%-gallery::
@if test "$(GALLERYDIR)" = ""; then echo "set GALLERYDIR first"; exit 1; fi
x=$*/why3session.xml; \
......
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