utils/print-trace-sources.cc
changeset 1538 7f18d8c94d10
parent 1400 382b2a36384c
child 1853 e2d7985a5938
--- a/utils/print-trace-sources.cc	Tue Oct 02 11:11:27 2007 +0100
+++ b/utils/print-trace-sources.cc	Tue Oct 02 11:51:45 2007 +0100
@@ -53,7 +53,7 @@
         }
       os << "///" << std::endl;
       os << "///" << std::endl;
-      os << "/// The path to this trace source is: " << i->path << "." << std::endl;
+      os << "/// The path to this trace source is: <b><tt>\"" << i->path << "\"</tt></b>." << std::endl;
       os << "///" << std::endl;
       if (i->context.Begin ().IsLast ())
         {