From 066815bc53e34cde8e3c2d0f7dc04dc2f742b624 Mon Sep 17 00:00:00 2001
From: Benjamin Bohard <bbohard@cadoles.com>
Date: Mon, 8 Aug 2022 11:51:55 +0200
Subject: [PATCH] =?UTF-8?q?Utiliser=20le=20script=20de=20build=20et=20les?=
 =?UTF-8?q?=20r=C3=A9pertoires=20output=20pour=20la=20documentation?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 hooks/build/doc-compiler/compile         | 2 +-
 hooks/postbuild/doc-compiler/export-dist | 9 ++++-----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/hooks/build/doc-compiler/compile b/hooks/build/doc-compiler/compile
index 53aa284..d0e8e77 100755
--- a/hooks/build/doc-compiler/compile
+++ b/hooks/build/doc-compiler/compile
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
 
 pushd /src
-make build
+build
 popd
diff --git a/hooks/postbuild/doc-compiler/export-dist b/hooks/postbuild/doc-compiler/export-dist
index 20b912e..62d1d9b 100755
--- a/hooks/postbuild/doc-compiler/export-dist
+++ b/hooks/postbuild/doc-compiler/export-dist
@@ -1,14 +1,13 @@
 #!/bin/bash
 
-function move_output_to_dist {
-  find . -name "$1" -type f -print0 | xargs -0r mv -t /dist/
-}
-
 # Create new directory
 mkdir -p /dist
 
 # Move generated files
-move_output_to_dist "*.pdf"
+pushd /src
+mv ./output_public /dist/public
+mv ./output_private /dist/private
+popd
 
 tamarin_success "Done :-)"