diff options
Diffstat (limited to 'src/plugins/html/DemoOutput.hpp')
| -rw-r--r-- | src/plugins/html/DemoOutput.hpp | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/plugins/html/DemoOutput.hpp b/src/plugins/html/DemoOutput.hpp index 07d758b..b755aac 100644 --- a/src/plugins/html/DemoOutput.hpp +++ b/src/plugins/html/DemoOutput.hpp @@ -83,11 +83,14 @@ public: * Therefore this is not an adequate model of our algorithms but only a * Demo. * - * @param doc is a Document using concepts of the book, headings, emphasis - * and lists domains but no other. - * @param out is the output stream the data shall be written to. + * @param doc is a Document using concepts of the book, headings, + * emphasis and lists domains but no other. + * @param out is the output stream the data shall be written to. + * @param pretty is a flag that manipulates whether newlines and tabs are + * used. */ - void writeHTML(Handle<model::Document> doc, std::ostream &out); + void writeHTML(Handle<model::Document> doc, std::ostream &out, + bool pretty = true); }; } } |