# HG changeset patch
# User wenzelm
# Date 994101293 -7200
# Node ID 3078f52ee55283e9351ccd673d8cd35865c938c6
# Parent  e8638d07fdee6d37a9dd328782dcf9a9bf5323a7
do *not* ./configure;

diff -r e8638d07fdee -r 3078f52ee552 Admin/makedist
--- a/Admin/makedist	Mon Jul 02 21:02:16 2001 +0200
+++ b/Admin/makedist	Mon Jul 02 21:14:53 2001 +0200
@@ -186,8 +186,6 @@
 
 ( cd src; ../Admin/maketags; )
 
-( env BASH_PATH=/bin/bash PERL_PATH=/usr/bin/perl ./configure )
-
 rm -rf Admin