formatting

diff --git a/doc/plugins/highlight.mdwn b/doc/plugins/highlight.mdwn
index 07e888f36673fafebce773ed8caf7723c90dea05..0cab8717b4503f3b689494c1820f38f2a295bc8c 100644 (file)
--- a/doc/plugins/highlight.mdwn
+++ b/doc/plugins/highlight.mdwn
@@ -63,7 +63,7 @@ to other code files, like this:
        /* \[[!format mdwn """
                This comment will be formatted as *markdown*!
 
        /* \[[!format mdwn """
                This comment will be formatted as *markdown*!
 

-               See [[bar.h]].
+               See \[[bar.h]].

        ""]] */
 
 ## security
        ""]] */
 
 ## security