From 19e28553cd63f993932697ee08fae21eecc79f1b Mon Sep 17 00:00:00 2001
From: sacerdot
Date: Wed, 7 Apr 2004 22:57:58 +0000
Subject: Old file. The new version of this script is no longer distributed
 with Coq (the latest verion can be retrieved from the HELM and MoWGLI pages).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5658 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/xml/mkindex.sh | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 contrib/xml/mkindex.sh

diff --git a/contrib/xml/mkindex.sh b/contrib/xml/mkindex.sh
deleted file mode 100755
index 074eff0bce..0000000000
--- a/contrib/xml/mkindex.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/bash
-
-echo `find . -name "*.xml"` | uris_of_filenames.pl > index.txt
-- 
cgit v1.2.3