Support ## format

generator/html_generator.ml

@@ -40,9 +40,9 @@ let print_word fmt = function
   | PrivateBts n ->
       Format.fprintf fmt "<a class=\"private\" href=\"%s%d\">#%d</a>"
 	"http://bts.frama-c.com/view.php?id=" n n
-  | Gitlab(s, n) ->
-    Format.fprintf fmt "<a class=\"private\" href=\"%s%s%s%d\">#%d</a>"
-      "https://git.frama-c.com/frama-c/" s "/issues/" n n
+  | Gitlab(pub, s, n) ->
+    Format.fprintf fmt "<a class=\"private\" href=\"%s/%s/%s/%s/%d\">#%d</a>"
+      "https://git.frama-c.com" (if pub then "pub" else "frama-c") s "issues" n n
   | OldBts n ->
       Format.fprintf fmt "<code>'%d'</code>" n
 

generator/lexer.mll

@@ -26,7 +26,7 @@
     | PublicBts of int
     | PrivateBts of int
     | OldBts of int
-    | Gitlab of string * int
+    | Gitlab of bool * string * int
     | Item of char
     | Space
     | Newline
@@ -178,7 +178,7 @@ and text e = parse
   (* | space+ (digit as k) ')' { add_word e (Item k) ; text e lexbuf } *)
 
   | "frama-c/" ((letter+) as sub) '#' ((digit+) as bug)
-      { add_word e (Gitlab(sub, int_of_string bug)) ; text e lexbuf }
+      { add_word e (Gitlab(false, sub, int_of_string bug)) ; text e lexbuf }
 
   | '#' ((digit+) as bug)
       { add_word e (PublicBts(int_of_string bug)) ; text e lexbuf }
@@ -190,7 +190,10 @@ and text e = parse
       { add_word e (OldBts(int_of_string bug)) ; text e lexbuf }
 
   | "#@" ((digit+) as bug)
-      { add_word e (Gitlab("frama-c", int_of_string bug)) ; text e lexbuf }
+      { add_word e (Gitlab(false, "frama-c", int_of_string bug)) ; text e lexbuf }
+
+  | "##" ((digit+) as bug)
+      { add_word e (Gitlab(true, "frama-c", int_of_string bug)) ; text e lexbuf }
 
   | '-' (letter | '-')+
   | '!'? (upper ident* '.')+ ident+