From 0e58a7a04cd258b08c4f1a5a4e84874fbfed01e4 Mon Sep 17 00:00:00 2001 From: Pascal Thomet Date: Mon, 16 Oct 2023 13:12:12 +0200 Subject: [PATCH] doc --- README.md | 2 +- tools/doc/process_md_docs.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 93f6f8ff..9ffeb614 100644 --- a/README.md +++ b/README.md @@ -201,7 +201,7 @@ __Table of contents__ * [include assets](#include-assets) * [handle events](#handle-events) * [Complete demo - advanced layout, FPS, theme, etc:](#complete-demo---advanced-layout-fps-theme-etc) -* [Main signature: use `int main(int, char**)`](#main-signature-use-`int-mainint-char**`) +* [Main signature: use `int main(int, char**)`](#main-signature-use-int-mainint-char) * [Build instructions](#build-instructions) * [Supported platforms and backends](#supported-platforms-and-backends) * [Clone the repository](#clone-the-repository) diff --git a/tools/doc/process_md_docs.py b/tools/doc/process_md_docs.py index 156a09f7..dcb5227b 100755 --- a/tools/doc/process_md_docs.py +++ b/tools/doc/process_md_docs.py @@ -8,7 +8,7 @@ def parse_header_line(header_line): level = len(header_line.split(" ")[0]) title = header_line[level + 1 :].rstrip() anchor_title = title.lower().replace(" ", "-") - ignored_chars = [":", "+", ",", "!", '"', "(", ")", "?"] + ignored_chars = [":", "+", ",", "!", '"', "(", ")", "?", "*", "`"] for ignored_char in ignored_chars: anchor_title = anchor_title.replace(ignored_char, "") return level, title, anchor_title