Merge pull request #3 from KeYProject/weigl/spelling

Add a spell checker

.github/dependabot.yml

@@ -0,0 +1,10 @@
+
+version: 2
+updates:
+  # Enable version updates for Actions
+  - package-ecosystem: "github-actions"
+    # Look for `.github/workflows` in the `root` directory
+    directory: "/"
+    # Check for updates once a week
+    schedule:
+      interval: "weekly"

.github/workflows/mkdocs.yml

@@ -56,3 +56,15 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v1
+
+
+  spelling:
+    name: Spellcheck
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@master    
+    - uses: rojopolis/[email protected]
+      name: Spellcheck
+      with:
+        task_name: Markdown
+        output_file: spellcheck-output.txt

.pyspelling.yaml

@@ -0,0 +1,18 @@
+matrix:
+- name: Markdown
+  aspell:
+    lang: en
+  dictionary:
+    wordlists:
+    - .wordlist.txt
+    encoding: utf-8
+  pipeline:
+  - pyspelling.filters.markdown:
+  - pyspelling.filters.html:
+      comments: false
+      ignores:
+      - code
+      - pre
+  sources:
+  - '**/*.md'
+  default_encoding: utf-8