From 6dd3e059d67c0de52d2e6a968d4e1033f318523c Mon Sep 17 00:00:00 2001 From: github-actions <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 9 Nov 2023 21:10:12 +0000 Subject: [PATCH] [UPD] HTML documentation --- docs/020_required_knowledge.html | 36 ++++++++++++++++++++++++++++++-- docs/index.html | 6 +++++- docs/searchindex.js | 2 +- 3 files changed, 40 insertions(+), 4 deletions(-) diff --git a/docs/020_required_knowledge.html b/docs/020_required_knowledge.html index 27a063046a29..f53dc6c2e8a3 100644 --- a/docs/020_required_knowledge.html +++ b/docs/020_required_knowledge.html @@ -47,7 +47,11 @@