Include prune logs in report

1 files changed, 12 insertions, 0 deletions

diff --git a/src/Document.h b/src/Document.h
index 8fc8d4b..d06bd59 100644
--- a/src/Document.h
+++ b/src/Document.h
@@ -68,6 +68,12 @@ public:
     void renderHtml(std::ostream &os) const;
   };
 
+  // A verbatim section
+  struct Verbatim: public LinearContainer {
+    Verbatim() {}
+    void renderHtml(std::ostream &os) const;
+  };
+
   enum ListType {
     UnorderedList,
     OrderedList
@@ -182,6 +188,12 @@ public:
     return p;
   }
 
+  Verbatim *verbatim() {
+    Verbatim *v = new Verbatim();
+    content.append(v);
+    return v;
+  }
+
   // Render the document as HTML.
   void renderHtml(std::ostream &os) const;