diff options
Diffstat (limited to 'cli/html.cxx')
-rw-r--r-- | cli/html.cxx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cli/html.cxx b/cli/html.cxx index dd49a91..1f84fdd 100644 --- a/cli/html.cxx +++ b/cli/html.cxx @@ -82,6 +82,9 @@ namespace virtual void traverse (type& ds) { + if (ds.name ().compare (0, 3, "doc") != 0) // Ignore doc variables. + return; + // n = 1 - common doc string // n = 2 - arg string, common doc string // n > 2 - arg string, usage string, man string |