diff options
Diffstat (limited to 'src/printdocvisitor.h')
| -rw-r--r-- | src/printdocvisitor.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/printdocvisitor.h b/src/printdocvisitor.h index b0c9b5f..efc1c6c 100644 --- a/src/printdocvisitor.h +++ b/src/printdocvisitor.h @@ -210,6 +210,11 @@ class PrintDocVisitor : public DocVisitor indent_leaf(); printf("<indexentry>%s</indexentry\n",i->entry().data()); } + void visit(DocSimpleSectSep *) + { + indent_leaf(); + printf("<simplesectsep/>"); + } //-------------------------------------- |