1
0
mirror of https://github.com/privacyguides/privacyguides.org.git synced 2025-07-01 09:12:39 +00:00

Split mkdocs configuration file (#1630)

Closes #1504
This commit is contained in:
2022-08-10 23:22:48 -05:00
parent 5fa9a3b505
commit 2f9c779b15
5 changed files with 127 additions and 95 deletions

View File

@ -51,7 +51,7 @@ jobs:
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
pipenv run mkdocs build
pipenv run mkdocs build --config-file mkdocs.production.yml
mv .well-known site/
pipenv run mkdocs --version