nitodoc: stop generating id for lines in examples

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/doc/doc_down.nit b/src/doc/doc_down.nit
index c9db676..1c77939 100644 (file)
--- a/src/doc/doc_down.nit
+++ b/src/doc/doc_down.nit
@@ -93,6 +93,7 @@ private class NitdocDecorator
                end
                v.add "<pre class=\"nitcode\"><code>"
                var hl = new HighlightVisitor
+               hl.line_id_prefix = ""
                hl.enter_visit(ast)
                v.add(hl.html)
                v.add "</code></pre>\n"
@@ -109,6 +110,7 @@ private class NitdocDecorator
                else
                        v.add "<code class=\"nitcode\">"
                        var hl = new HighlightVisitor
+                       hl.line_id_prefix = ""
                        hl.enter_visit(ast)
                        v.add(hl.html)
                end