WiP

[oweals/gnunet.git] / src / monkey / gdbmi_data_man.c

diff --git a/src/monkey/gdbmi_data_man.c b/src/monkey/gdbmi_data_man.c
index a7e9f11bf97b00b8dbfe28c3e3cdbdd159254b99..06e1377203a2f1191545f2f290ab8f554158e307 100644 (file)
--- a/src/monkey/gdbmi_data_man.c
+++ b/src/monkey/gdbmi_data_man.c
@@ -5,7 +5,9 @@
 
   Module: Data manipulation.
   Comments:
-  GDB/MI commands for the "Data manipulation" section.@p
+  GDB/MI commands for the "Data manipulation" section.
+
+  @<p>
 
 @<pre>
 gdb command:                       Implemented?
@@ -26,11 +28,11 @@ gdb command:                       Implemented?
 -environment-path                  No
 @</pre>
 
-Notes:@p
+Notes:  @<p>
 
 1) -display* aren't implemented. You can use CLI command display, but the
 results are sent to the console. So it looks like the best is to manually
-use -data-evaluate-expression to emulate it.@p
+use -data-evaluate-expression to emulate it.  @<p>
 
 2) GDB bug mi/1770: Affects gdb<=6.2, when you ask for the names of the
 registers you get it plus the name of the "pseudo-registers", but if you
@@ -72,7 +74,7 @@ Fixed by Changelog entry:
 
 ***************************************************************************/
 
-#include "mi_gdb.h"
+#include "gdbmi.h"
 
 /* Low level versions. */