catala/generate_website_assets.sh
2020-05-12 19:02:55 +02:00

23 lines
537 B
Bash
Executable File

#! /usr/bin/env bash
cd "$(dirname "$0")"
if [[ $1 == "" ]]; then
echo "USAGE: $1 DST where DST is the directory in which files have to be copied"
exit 1
fi
dest_dir=$1
make -C examples/allocations_familiales allocations_familiales.html
make -C examples/dummy_english english.html
make grammar.html
make catala.html
make legifrance_catala.html
scp examples/allocations_familiales/allocations_familiales.html $1/
scp examples/dummy_english/english.html $1/
scp grammar.html $1/
scp catala.html $1/
scp legifrance_catala.html $1/