22 lines
353 B
Bash
22 lines
353 B
Bash
#!/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
|
|
touch ./build/en/doc/.nojekyll
|
|
mv ./build/en/doc/ ../html
|