diff options
author | Mike Frysinger <vapier@gentoo.org> | 2024-01-05 08:01:23 +0300 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2024-01-23 05:58:58 +0300 |
commit | 72b6105518afd82e01abe946ba5867f98d6be37a (patch) | |
tree | d647bfe097eb78d03ca43f126949b2ad03d80492 /newlib/doc | |
parent | 613267aa6ede2f147ee03035ecc11716cbc5d457 (diff) |
newlib: docs: add "Function " to every function node
When creating a split manual with one-node-per-page, the main index.html
ends up getting clobbered by the page for the index() function because
it uses "@node index" which, for html, also creates an index.html page.
To remedy this, add "Function " to every function node so now we output
"Function-index.html" and avoid clobbering. It also namespaces every
other function and helps make sure we don't clobber anything else.
Otherwise, there isn't really much rendering difference as @node text
is mostly internal. Node title text comes from @section instead.
Diffstat (limited to 'newlib/doc')
-rw-r--r-- | newlib/doc/doc.str | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/newlib/doc/doc.str b/newlib/doc/doc.str index b0bfc9ea4..52d41f245 100644 --- a/newlib/doc/doc.str +++ b/newlib/doc/doc.str @@ -75,7 +75,7 @@ ; : FUNCTION - "@node " - a + "@node Function " - a skip_past_newline copy_past_newline dup - a x x |