diff options
Diffstat (limited to 'src/tools/docmaker/tohtml.py')
-rw-r--r-- | src/tools/docmaker/tohtml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/docmaker/tohtml.py b/src/tools/docmaker/tohtml.py index fffa12097..1cbda755b 100644 --- a/src/tools/docmaker/tohtml.py +++ b/src/tools/docmaker/tohtml.py @@ -549,7 +549,7 @@ class HtmlFormatter( Formatter ): if block.source.filename.find( f ) >= 0: header = self.headers[f] + ' (' + f + ')' break; - + # if not header: # sys.stderr.write( \ # 'WARNING: No header macro for ' + block.source.filename + '.\n' ) |