From 71ae293b8c07990387d958c1e6d817d2b507e0d2 Mon Sep 17 00:00:00 2001 From: DerLinkman Date: Sat, 29 Jan 2022 17:52:04 +0100 Subject: [PATCH] remove .github folder --- .github/workflows/gh-deploy.yml | 29 ----------------------------- mkdocs.yml | 6 ++++++ 2 files changed, 6 insertions(+), 29 deletions(-) delete mode 100644 .github/workflows/gh-deploy.yml diff --git a/.github/workflows/gh-deploy.yml b/.github/workflows/gh-deploy.yml deleted file mode 100644 index 7a6a18b3a..000000000 --- a/.github/workflows/gh-deploy.yml +++ /dev/null @@ -1,29 +0,0 @@ -name: gh-deploy - -on: - push: - branches: - - main - -jobs: - build: - name: MkDocs Github Pages automatic deployment - runs-on: ubuntu-latest - steps: - - name: Checkout main - uses: actions/checkout@v2 - - - name: Set up Python 3.9 - uses: actions/setup-python@v2 - with: - python-version: '3.9' - - - name: Install requirements - run: | - python -m pip install --upgrade pip - pip install -r requirements.txt - - - name: MkDocs gh-deploy - run: | - git pull - mkdocs gh-deploy diff --git a/mkdocs.yml b/mkdocs.yml index d6b3de92b..ce09e68bf 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -18,3 +18,9 @@ plugins: languages: en: English de: Deutsch + +markdown_extensions: + - attr_list + - admonition + - toc: + permalink: true