2019-12-24 13:32:25 +01:00
|
|
|
#!/usr/bin/env bash
|
2019-12-24 14:55:44 +01:00
|
|
|
set -x
|
|
|
|
|
set -e
|
|
|
|
|
# Install pip
|
|
|
|
|
cd /tmp
|
|
|
|
|
curl https://bootstrap.pypa.io/get-pip.py -o get-pip.py
|
|
|
|
|
python3.6 get-pip.py --user
|
|
|
|
|
cd -
|
2019-12-24 13:32:25 +01:00
|
|
|
# Install Flit to be able to install all
|
2019-12-24 14:55:44 +01:00
|
|
|
python3.6 -m pip install --user flit
|
2019-12-24 13:32:25 +01:00
|
|
|
# Install with Flit
|
2019-12-24 14:55:44 +01:00
|
|
|
python3.6 -m flit install --user --deps develop
|
2019-12-24 13:32:25 +01:00
|
|
|
# Finally, run mkdocs
|
2019-12-24 14:55:44 +01:00
|
|
|
python3.6 -m mkdocs build
|
