2018-12-15 22:16:54 +04:00
|
|
|
#!/usr/bin/env bash
|
2018-12-17 18:56:48 +04:00
|
|
|
# Install pipenv to be able to install from Pipfile
|
|
|
|
|
pip install pipenv
|
|
|
|
|
# Install Pipfile including --dev, to install mkdocs and plugins
|
|
|
|
|
pipenv install --dev
|
|
|
|
|
# Finally, run mkdocs
|
|
|
|
|
mkdocs build
|