2022-07-19 12:54:38 +03:00
|
|
|
#! /usr/bin/env sh
|
|
|
|
|
|
2022-08-01 20:03:45 +03:00
|
|
|
set -eux
|
2020-05-05 18:04:53 +03:00
|
|
|
|
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
|
|
2022-08-01 20:03:45 +03:00
|
|
|
if [ $# -ne 1 ]; then
|
2022-07-19 12:54:38 +03:00
|
|
|
echo "USAGE: \$1 DST where DST is the directory in which files have to be copied"
|
2020-05-05 18:04:53 +03:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2022-08-01 20:03:45 +03:00
|
|
|
mkdir -p $1/playground
|
|
|
|
|
|
|
|
|
|
BUILD=_build/default
|
|
|
|
|
|
2023-03-09 20:55:24 +03:00
|
|
|
rsync -a $BUILD/_doc/_html/ $1/ocaml_docs/ --delete
|
2022-08-01 20:03:45 +03:00
|
|
|
|
|
|
|
|
rsync $BUILD/examples/allocations_familiales/allocations_familiales.html $1/
|
|
|
|
|
rsync $BUILD/examples/aides_logement/aides_logement.html $1/
|
|
|
|
|
rsync $BUILD/examples/us_tax_code/us_tax_code.html $1/
|
|
|
|
|
rsync $BUILD/examples/tutorial_en/tutorial_en.html $1/
|
|
|
|
|
rsync $BUILD/examples/tutoriel_fr/tutoriel_fr.html $1/
|
|
|
|
|
|
2022-08-01 20:29:34 +03:00
|
|
|
rsync $BUILD/grammar.html $1/
|
|
|
|
|
rsync $BUILD/catala.html $1/
|
2022-12-22 22:42:56 +03:00
|
|
|
rsync $BUILD/clerk.html $1/
|
|
|
|
|
rsync $BUILD/catala_legifrance.html $1/
|
2022-08-01 20:03:45 +03:00
|
|
|
|
|
|
|
|
rsync $BUILD/french_law/js/french_law.js $1/french_law.js
|
|
|
|
|
rsync $BUILD/examples/allocations_familiales/allocations_familiales_schema.json $1/
|
|
|
|
|
rsync $BUILD/examples/aides_logement/aides_logement_schema.json $1/
|
