//
-// Dummy TexRow support (needed by docstream)
+// Dummy verbose support
//
-
-void TexRow::newline()
-{}
-
-
-void TexRow::newlines(int)
-{}
+bool verbose = false;
//
return string();
}
+//
+// Dummy FontMetrics (needed by Length)
+//
+
+namespace frontend {
+class FontMetrics {
+ int em() const { return 0; };
+};
+}
+
+class FontInfo;
+
+frontend::FontMetrics const & theFontMetrics(FontInfo const &) {
+ static frontend::FontMetrics dummy;
+ return dummy;
+}
+
//
// Keep the linker happy on Windows
//