Profil générique pour la compilation de documents

This commit is contained in:
2022-08-02 16:29:39 +02:00
parent c0b15b9836
commit c0e3e542ff
8 changed files with 133 additions and 0 deletions

View File

@ -0,0 +1,14 @@
#!/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 :-)"