#!/bin/bash

# Create new directory
mkdir -p /dist

# Move generated files
pushd /src
ls -l ./output_public
cp ./output_public/*.pdf /dist/public
cp ./output_private/*.pdf /dist/private
popd

tamarin_success "Done :-)"