From af93e4cf8b1a839d21499b3b9737bb8904edcae8 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 29 Apr 2010 13:50:31 +0000
Subject: Remove the svn-specific $Id$ annotations

 - Many of them were broken, some of them after Pierre B's rework
   of mli for ocamldoc, but not only (many bad annotation, many files
   with no svn property about Id, etc)
 - Useless for those of us that work with git-svn (and a fortiori
   in a forthcoming git-only setting)
 - Even in svn, they seem to be of little interest

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12972 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/alpha.ml    | 2 --
 tools/coqdoc/alpha.mli   | 2 --
 tools/coqdoc/cpretty.mli | 2 --
 tools/coqdoc/cpretty.mll | 2 --
 tools/coqdoc/index.ml    | 2 --
 tools/coqdoc/index.mli   | 2 --
 tools/coqdoc/main.ml     | 2 --
 tools/coqdoc/output.ml   | 2 --
 tools/coqdoc/output.mli  | 2 --
 9 files changed, 18 deletions(-)

(limited to 'tools/coqdoc')

diff --git a/tools/coqdoc/alpha.ml b/tools/coqdoc/alpha.ml
index d25034f2a3..18eae02110 100644
--- a/tools/coqdoc/alpha.ml
+++ b/tools/coqdoc/alpha.ml
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 
 let norm_char_latin1 c = match Char.uppercase c with
diff --git a/tools/coqdoc/alpha.mli b/tools/coqdoc/alpha.mli
index 922a10d6cc..285ed00a77 100644
--- a/tools/coqdoc/alpha.mli
+++ b/tools/coqdoc/alpha.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 (* Alphabetic order. *)
 
 val compare_char : char -> char -> int
diff --git a/tools/coqdoc/cpretty.mli b/tools/coqdoc/cpretty.mli
index 213c76aafd..09cc7b7c20 100644
--- a/tools/coqdoc/cpretty.mli
+++ b/tools/coqdoc/cpretty.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Index
 
 val coq_file : string -> Cdglobals.coq_module -> unit
diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll
index 56ee459ab9..344d3af70d 100644
--- a/tools/coqdoc/cpretty.mll
+++ b/tools/coqdoc/cpretty.mll
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 (*s Utility functions for the scanners *)
 
 {
diff --git a/tools/coqdoc/index.ml b/tools/coqdoc/index.ml
index 889e5d6ff9..9445c96060 100644
--- a/tools/coqdoc/index.ml
+++ b/tools/coqdoc/index.ml
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Filename
 open Lexing
 open Printf
diff --git a/tools/coqdoc/index.mli b/tools/coqdoc/index.mli
index 517ec97a75..bf9d906f3c 100644
--- a/tools/coqdoc/index.mli
+++ b/tools/coqdoc/index.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 
 type loc = int
diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 67c63865af..f3ebe0dc3d 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 (* Modified by Lionel Elie Mamane <lionel@mamane.lu> on 9 & 10 Mar 2004:
  *  - handling of absolute filenames (function coq_module)
  *  - coq_module: chop ./// (arbitrary amount of slashes), not only "./"
diff --git a/tools/coqdoc/output.ml b/tools/coqdoc/output.ml
index 1892a0c9c5..57e0afa435 100644
--- a/tools/coqdoc/output.ml
+++ b/tools/coqdoc/output.ml
@@ -7,8 +7,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 open Index
 
diff --git a/tools/coqdoc/output.mli b/tools/coqdoc/output.mli
index d836f6b397..67877af05e 100644
--- a/tools/coqdoc/output.mli
+++ b/tools/coqdoc/output.mli
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id$ i*)
-
 open Cdglobals
 open Index
 
-- 
cgit v1.2.3