trying to fix GH workflow

Author: WolframPfeifer

Gemfile

@@ -10,6 +10,7 @@ source "https://rubygems.org"
 #gem "jekyll", "~> 4.3.4"
 # This is the default theme for new Jekyll sites. You may change this to anything you like.
 gem "minima", "~> 2.5"
+gem "just-the-docs"
 # If you want to use GitHub Pages, remove the "gem "jekyll"" above and
 # uncomment the line below. To upgrade, run `bundle update github-pages`.
 gem "github-pages", group: :jekyll_plugins

_config.yml

@@ -27,7 +27,8 @@ url: "https://contractlib.github.io" # the base hostname & protocol for your sit
 github_username: Contract-LIB
 
 # Build settings
-theme: minima
+#theme: minima
+theme: just-the-docs
 #plugins:
 #  - jekyll-feed
 
@@ -52,4 +53,6 @@ theme: minima
 #   - vendor/ruby/
 
 exclude:
+    - tmp/
+    - vendor/
     - Readme.md