2 files changed, 0 insertions, 62 deletions
diff --git a/tools/change-thesaurus-filenames b/tools/change-thesaurus-filenames
deleted file mode 100755
index 735791d..0000000
--- a/tools/change-thesaurus-filenames
+++ /dev/null
@@ -1,42 +0,0 @@
-#! /bin/sh
-
-# In 2.0beta4 files in the Thesaurus were named <id>-<type>. E.g: 25-adminkey
-# 2.0beta5 uses dots now instead of dashes: 25.adminkey
-
-# This script reads renames files in the Thesaurus
-
-# It is assumed that the largest id in use is 999
-
-set -e
-
-FILES=`ls [0-9]-conf [0-9]-key [0-9]-stats [0-9]-help [0-9]-adminkey [0-9][0-9]-conf \
-          [0-9][0-9]-key [0-9][0-9]-stats [0-9][0-9]-help [0-9][0-9]-adminkey \
-          [0-9][0-9][0-9]-key [0-9][0-9][0-9]-stats [0-9][0-9][0-9]-help [0-9][0-9][0-9]-adminkey 2>/dev/null` || true
-
-if [ -z "$FILES" -a -d "results/thesaurus/" ]; then
-	echo Changing to directory results/thesaurus/
-	cd results/thesaurus/
-	FILES=`ls [0-9]-conf [0-9]-key [0-9]-stats [0-9]-help [0-9]-adminkey [0-9][0-9]-conf \
-		  [0-9][0-9]-key [0-9][0-9]-stats [0-9][0-9]-help [0-9][0-9]-adminkey \
-		  [0-9][0-9][0-9]-key [0-9][0-9][0-9]-stats [0-9][0-9][0-9]-help [0-9][0-9][0-9]-adminkey 2>/dev/null` || true
-fi
-if [ -z "$FILES" -a -d "thesaurus/" ]; then
-	echo Changing to directory thesaurus/
-	cd results/thesaurus/
-	FILES=`ls [0-9]-conf [0-9]-key [0-9]-stats [0-9]-help [0-9]-adminkey [0-9][0-9]-conf \
-		  [0-9][0-9]-key [0-9][0-9]-stats [0-9][0-9]-help [0-9][0-9]-adminkey \
-		  [0-9][0-9][0-9]-key [0-9][0-9][0-9]-stats [0-9][0-9][0-9]-help [0-9][0-9][0-9]-adminkey 2>/dev/null` || true
-fi
-
-if [ -z "$FILES" ]; then
-	echo "Could not find any old style filenames in '.', 'results/thesaurus/', or 'thesaurus/'" >&2
-	exit 1
-fi
-
-echo "Renaming files..."
-for file in $FILES ; do
-	mv $file `echo $file | tr '-' '.'`
-done
-
-echo "done."
-echo "The next buildthesaurus run (per default every hour) will fix the index file"
diff --git a/tools/convert-xml-to-datadumper b/tools/convert-xml-to-datadumper
deleted file mode 100755
index 003d383..0000000
--- a/tools/convert-xml-to-datadumper
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/usr/bin/perl -w
-
-# In 2.0beta1 XML was used to store all relevant data
-# 2.0beta2 ditched XML and went for Data::Dumper
-
-# This script takes the XML data from STDIN and
-# prints the data in Data::Dumper perl style to stdout
-
-use strict;
-use XML::Parser;
-use XML::Dumper;
-use Data::Dumper;
-
-
-my $parser = new XML::Parser(Style => 'Tree');
-my $tree = $parser->parse( join ('', <stdin>) );
-my $dump = new XML::Dumper;
-my $CONFIG = $dump->xml2pl($tree);
-
-print Data::Dumper->Dump([ $CONFIG ], [ $ARGV[0] ]);