Commit f4689119 authored by Jean-Baptiste Mouret's avatar Jean-Baptiste Mouret
Browse files

[ci skip] correct pre-script for doc (again)

parent c87181ba
......@@ -12,5 +12,5 @@ echo "getting the latest benchmark result (needs to be in $HOME/limbo_benchmarks
# get the last benchmark
DIR=$HOME/limbo_benchmarks
BENCHMARKS=$DIR/`ls $DIR|sort -n|head -n 1`
cp $BENCHMARKS/bo_benchmarks.rst docs/benchmarks.rst
cp $BENCHMARKS/bo_benchmarks.rst docs/bo_benchmarks.rst
cp -r $BENCHMARKS/fig_benchmarks docs
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment