#!/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 :-)"