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 :-)"