diff --git a/docs/appendices/compiler-args.md b/docs/appendices/compiler-args.md
index dd2920b4..11cbeffa 100644
--- a/docs/appendices/compiler-args.md
+++ b/docs/appendices/compiler-args.md
@@ -19,7 +19,8 @@ The most useful options are `--debug`, `--path` or just `-p`, `--output` or just
 Let's study the documentation of the builtin standard library:
 
 ```bash
---8<-- "appendices-compiler-args-stdlib-docs.sh"
+pip install mkdocs
+ponyc packages/stdlib --docs && cd stdlib-docs && mkdocs serve
 ```
 
 And point your web browser to [127.0.0.1:8000](http://127.0.0.1:8000) serving a live-reloading local version of the docs.
diff --git a/mkdocs.yml b/mkdocs.yml
index ea7c35d9..f15cf827 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -53,6 +53,7 @@ theme:
   features:
     - content.code.copy
     - content.code.select
+    - navigation.footer
     - navigation.instant
     - navigation.indexes
     - navigation.tracking