From 5b5daca39ce030c4088758b928fce29dbda9e898 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Tue, 2 Sep 2014 15:41:19 +0200
Subject: [PATCH] Makefile: gallery-subs to export complex examples with
 multiple files

---
 Makefile.in | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/Makefile.in b/Makefile.in
index 7ca5ff646..29fe2dfd0 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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; \
-- 
GitLab