--- a/src/misc/binaryheap.hpp	Sun Apr 15 17:04:44 2007 +0000
+++ b/src/misc/binaryheap.hpp	Sat Apr 21 08:23:57 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file binaryheap.hpp */
+
 #ifndef  BINARYHEAP_HPP
 #define  BINARYHEAP_HPP