2020-11-18 17:30:38 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
export http_proxy=http://srvproxy:8080
|
|
|
|
|
export https_proxy=http://srvproxy:8080
|
|
|
|
|
|
|
|
|
|
echo "clean"
|
|
|
|
|
make clean
|
|
|
|
|
|
|
|
|
|
rm -Rf ./build/
|
|
|
|
|
|
|
|
|
|
make clean
|
|
|
|
|
|
|
|
|
|
echo "make html English"
|
|
|
|
|
make htmlen
|
|
|
|
|
|
|
|
|
|
cp ./robots.txt build/en/doc
|
|
|
|
|
mkdir ./build/en/doc/.well-known
|
|
|
|
|
cp security.txt ./build/en/doc/.well-known
|
2021-04-15 15:24:00 +02:00
|
|
|
touch ./build/en/doc/.nojekyll
|
