From e8052d45ef10a1a06f349cc6eb0dd5a7ca2daddd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Mah=C3=A9?= <frederic.mahe@cirad.fr>
Date: Tue, 19 Nov 2024 11:24:03 +0100
Subject: [PATCH] add section 7 ('misc')

---
 man/scripts/generate_online_documentation.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/man/scripts/generate_online_documentation.sh b/man/scripts/generate_online_documentation.sh
index 701694a3..7d821dfe 100644
--- a/man/scripts/generate_online_documentation.sh
+++ b/man/scripts/generate_online_documentation.sh
@@ -33,7 +33,7 @@ ln ../_config.yml .
 generate_github_markdown ./index.1.md > "../docs/index.md"
 
 # mirror the organization of manpages
-for raw_md in ./{commands,formats}/vsearch*.md ; do
+for raw_md in ./{commands,formats,misc}/vsearch*.md ; do
     FOLDER="$(dirname "${raw_md}")"
     FILENAME="$(basename "${raw_md}")"
     (cd "${FOLDER}" || exit 1