From 3321570e171f8fc3e053256ba604f392ad38dbe4 Mon Sep 17 00:00:00 2001 From: StevellM Date: Fri, 1 Dec 2023 13:31:46 +0100 Subject: [PATCH] add msets to html docs --- README.md | 2 +- docs/mkdocs.yml | 1 + docs/src/index.md | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 6d39dbe208..019627ae04 100644 --- 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 index 4ae13b44e9..16ad9fcf95 100644 --- 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 index 95e1a99bad..7c765b0662 100644 --- 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