15 lines
227 B
Plaintext
15 lines
227 B
Plaintext
|
#!/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"
|
||
|
|
|
||
|
|
tamarin_success "Done :-)"
|
||
|
|
|