auto/bin/update_registry.sh isn't used anymore.

auto/bin/update_registry.sh

@@ -1,33 +0,0 @@
-#!/bin/sh
-##
-## Copyright (C) 2002-2008, Marcelo E. Magallon <mmagallo[]debian org>
-## Copyright (C) 2002-2008, Milan Ikits <milan ikits[]ieee org>
-##
-## This program is distributed under the terms and conditions of the GNU
-## General Public License Version 2 as published by the Free Software
-## Foundation or, at your option, any later version.
-
-set -e
-
-if [ ! -d $1 ] ; then
-    mkdir -p $1
-fi
-cd $1
-
-# wget used to return 0 (success), but more recent versions
-# don't so we don't want to bail out in failure mode
-# eventhough everything is fine.
-
-set +e
-
-wget                                                    \
-    --mirror                                            \
-    --no-parent                                         \
-    --no-host-directories                               \
-    --cut-dirs=2                                        \
-    --accept=txt,html                                   \
-    $2
-
-echo 'wget exit code: ' $?
-
-exit 0