From ee8556f646ac19726f012fff78fffdee39f5be63 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 26 May 2010 11:57:57 +0000
Subject: Clean up

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1348 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 doc/coq2html.mll | 25 -------------------------
 1 file changed, 25 deletions(-)

diff --git a/doc/coq2html.mll b/doc/coq2html.mll
index dd7d3a9..566e066 100644
--- a/doc/coq2html.mll
+++ b/doc/coq2html.mll
@@ -45,31 +45,6 @@ let add_definition curmod pos sp id ty =
   if not (Hashtbl.mem xref_table (curmod, pos))
   then Hashtbl.add xref_table (curmod, pos) (Def(path sp id, ty))
 
-(*
-let read_glob_file f =
-  let ic = open_in f in
-  let curmod = ref "" in
-  try
-    while true do
-      let s = input_line ic in
-      try
-        Scanf.sscanf s "F%s"
-          (fun m -> curmod := m; add_module m)
-      with Scanf.Scan_failure _ ->
-      try
-        Scanf.sscanf s "R%d %s %s %s %s"
-          (fun pos dp sp id ty -> add_reference !curmod pos dp sp id ty)
-      with Scanf.Scan_failure _ ->
-      try
-        Scanf.sscanf s "%s %d %s %s"
-          (fun ty pos sp id -> add_definition !curmod pos sp id ty)
-      with Scanf.Scan_failure _ ->
-        ()
-    done
-  with End_of_file ->
-    close_in ic
-*)
-
 type link = Link of string | Anchor of string | Nolink
 
 let coqlib_url = "http://coq.inria.fr/library/"
-- 
cgit v1.2.3