add msets to html docs

thofma · Dec 1, 2023 · 3321570 · 3321570
1 parent c828ead
commit 3321570
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -79,7 +79,7 @@ Welcome to
    | |  | |  __/ (__|   <  __/
    |_|  |_|\___|\___|_|\_\___|
 
-Version 0.22.4...
+Version 0.22.8...
  ... which comes with absolutely no warranty whatsoever
 (c) 2015-2023 by Claus Fieker, Tommy Hofmann and Carlo Sircana
 

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -114,6 +114,7 @@ nav:
       - Misc: misc.md
     - Extra features:
       - Macros: features/macros.md
+      - Multi-sets: features/mset.md
     - References: 'references.md'
     - Examples: 'examples.md'
     - Developer:

diff --git a/docs/src/index.md b/docs/src/index.md
@@ -52,7 +52,7 @@ Welcome to
    | |  | |  __/ (__|   <  __/
    |_|  |_|\___|\___|_|\_\___|
 
-Version 0.22.4...
+Version 0.22.8...
  ... which comes with absolutely no warranty whatsoever
 (c) 2015-2023 by Claus Fieker, Tommy Hofmann and Carlo Sircana