15 lines
220 B
Bash
Executable File
15 lines
220 B
Bash
Executable File
#!/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 :-)"
|
|
|