Migrate robolectric.org to use MkDocs (#212)

* Update Robolectric website

* Update MkDocs and MkDocs Material

* Fix javadoc URLs

* Continue deploying from the `new_website` branch until ready to merge

* Fix anchor in `device-configuration.md`

* Disable the footer feature

* Automatically create excerpt for blog posts

* Update mkdocs-material

.github/dependabot.yml

@@ -1,11 +1,12 @@
 version: 2
+
 updates:
-  - package-ecosystem: "bundler"
+  - package-ecosystem: "github-actions"
     directory: "/"
     schedule:
       interval: "weekly"
 
-  - package-ecosystem: "github-actions"
+  - package-ecosystem: "pip"
     directory: "/"
     schedule:
       interval: "weekly"

.github/workflows/deploy-website.yml

@@ -0,0 +1,28 @@
+name: "Deploy website"
+
+on:
+  push:
+    branches: [ master, "new_website" ]
+
+jobs:
+  deploy_website:
+    name: "Deploy website"
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: 3.x
+          cache: 'pip'
+
+      - name: Install necessary tools
+        run: pip install -r requirements.txt
+
+      - name: Copy Javadoc
+        run: cp -r javadoc/ docs/javadoc/
+
+      - name: Deploy website
+        run: mkdocs gh-deploy --force

.gitignore

@@ -1,12 +1,6 @@
-_site
-build
 .idea
-.bundle
-.sass-cache
 .DS_Store
 *.iml
 *.ipr
 *.iws
-vendor
-.jekyll-cache
-.jekyll-metadata
+site/