1 files changed, 0 insertions, 31 deletions
diff --git a/pc/mkconf.cmd b/pc/mkconf.cmd
deleted file mode 100755
index 3d3eb3d3..00000000
--- a/pc/mkconf.cmd
+++ /dev/null
@@ -1,31 +0,0 @@
-extproc sh
-
-#! /bin/sh
-#
-# mkconf -- produce a config.h from a known configuration
-
-case "$#" in
-1)	;;
-*)	echo "Usage:  mkconf system_type" >&2
-	echo "Known systems:  `cd config; echo ;ls -C`" >&2
-	exit 2
-	;;
-esac
-
-if [ -f config/$1 ]; then
-	sh ./mungeconf.cmd config/$1 config.h-dist >config.h
-	sed -n '/^#echo /s///p' config/$1
-	sed -n '/^MAKE_.*/s//s,^##&## ,,/p' config/$1 >sedscr
-	if [ -s sedscr ]
-	then
-		sed -f sedscr Makefile-dist >Makefile
-	else
-		cp Makefile-dist Makefile
-	fi
-	cmd /c del sedscr
-else
-	echo "\`$1' is not a known configuration."
-	echo "Either construct one based on the examples in the config directory,"
-	echo "or copy config.h-dist to config.h and edit it."
-	exit 1
-fi