aide contextuelle / menus compilation + print + export

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3698 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 22 insertions, 0 deletions

diff --git a/ide/extract_index.mll b/ide/extract_index.mll
new file mode 100644
index 000000000..1eb2c13d6
--- /dev/null
+++ b/ide/extract_index.mll
@@ -0,0 +1,22 @@
+
+{
+  open Lexing 
+}
+
+(* additional lexer to extract URL from Coq manual's index *)
+
+rule entry = parse
+  | "<LI><TT>" [^ ',']* "</TT>, "
+      { let s = lexeme lexbuf in
+	let n = String.length s in
+	String.sub s 8 (n - 15), extract_index_url lexbuf }
+  | "<LI>" [^ ',']* ", " 
+      { let s = lexeme lexbuf in
+	let n = String.length s in
+	String.sub s 4 (n - 6), extract_index_url lexbuf }
+
+and extract_index_url = parse
+  | "<A HREF=\"" [^ '"']* '"'
+      { let s = lexeme lexbuf in
+	let n = String.length s in
+	String.sub s 9 (n - 10) }