Merge branch 'main' into code-samples-run-inline

shaedrich · May 22, 2024 · 1b074ef · 1b074ef
2 parents 82929f6 + caae6e2
commit 1b074ef
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -53,6 +53,7 @@ theme:
   features:
     - content.code.copy
     - content.code.select
+    - navigation.footer
     - navigation.instant
     - navigation.indexes
     - navigation.tracking