mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
19 lines
459 B
Bash
Executable File
19 lines
459 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
|
|
|
|
make website-assets
|
|
|
|
scp -r _build/default/_doc/_html $1/ocaml_docs
|
|
scp examples/allocations_familiales/allocations_familiales.html $1/
|
|
scp examples/dummy_english/english.html $1/
|
|
scp examples/tutorial/tutorial_en.html $1/
|
|
scp grammar.html $1/
|
|
scp catala.html $1/
|
|
scp legifrance_catala.html $1/
|