diff -r 105d16b9bf04 -r fdc239ba72a7 src/core/trace-resolver.h
--- a/src/core/trace-resolver.h	Wed Aug 29 16:42:55 2007 +0200
+++ b/src/core/trace-resolver.h	Wed Aug 29 16:43:04 2007 +0200
@@ -74,6 +74,7 @@
   {
   public:
     void Print (std::ostream &os) const;
+    void PrintDoxygen (std::ostream &os) const;
     void AddUnique (std::string path, 
                     const TraceContext &context,
                     const TraceDoc &doc);