From 96aa53b887cec86919f3ac4a9bb1de90a1c7100e Mon Sep 17 00:00:00 2001
From: Raphael Rieu-Helft <raphael.rieu-helft@lri.fr>
Date: Fri, 22 Jun 2018 16:08:21 +0200
Subject: [PATCH] Add multiprecision to gallery

---
 Makefile.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index f30f0b14d..baea10453 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -700,7 +700,7 @@ gallery-simple::
 
 .PHONY: gallery-subs
 
-GALLERYSUBS=WP_revisited verifythis_2016_matrix_multiplication avl double_wp prover
+GALLERYSUBS=WP_revisited verifythis_2016_matrix_multiplication avl double_wp prover multiprecision
 
 gallery-subs::
 	@if test "$(GALLERYDIR)" = ""; then echo "set GALLERYDIR first"; exit 1; fi
@@ -711,7 +711,7 @@ gallery-subs::
 	  WHY3CONFIG="" ../../bin/why3doc.@OCAMLBEST@ -L ../../stdlib -L . --stdlib-url http://why3.lri.fr/stdlib/ *.mlw -o $(GALLERYDIR)/$$d; \
 	  cd ..; \
 	  rm -f $(GALLERYDIR)/$$d/$$d.zip; \
-	  zip -q -r $(GALLERYDIR)/$$d/$$d.zip $$d; \
+	  git archive --format=zip -o $(GALLERYDIR)/$$d/$$d.zip HEAD $$d; \
 	  cd ..; \
 	done
 
-- 
GitLab