add section 7 ('misc')

torognes · Nov 19, 2024 · e8052d4 · e8052d4
1 parent b350551
commit e8052d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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