diff -ruN gnocatan/gnocatan gnocatan-patched/gnocatan
--- gnocatan/gnocatan	1969-12-31 18:00:00.000000000 -0600
+++ gnocatan-patched/gnocatan	2005-07-26 18:36:05.000000000 -0500
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+echo
+echo The gnocatan project and its Fink package have been renamed \"pioneers\".
+echo
+echo The pioneers package should already be installed, and you may now remove the
+echo gnocatan package.
+echo
+echo The new equivalent for the \"gnocatan\" command is \"pioneers\".
+echo
diff -ruN gnocatan/gnocatan-meta-server gnocatan-patched/gnocatan-meta-server
--- gnocatan/gnocatan-meta-server	1969-12-31 18:00:00.000000000 -0600
+++ gnocatan-patched/gnocatan-meta-server	2005-07-26 18:36:01.000000000 -0500
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+echo
+echo The gnocatan project and its Fink package have been renamed \"pioneers\".
+echo
+echo The pioneers package should already be installed, and you may now remove the
+echo gnocatan package.
+echo
+echo The new equivalent for the \"gnocatan-meta-server\" command is
+echo \"pioneers-meta-server\".
+echo
diff -ruN gnocatan/gnocatan-server-console gnocatan-patched/gnocatan-server-console
--- gnocatan/gnocatan-server-console	1969-12-31 18:00:00.000000000 -0600
+++ gnocatan-patched/gnocatan-server-console	2005-07-26 18:35:51.000000000 -0500
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+echo
+echo The gnocatan project and its Fink package have been renamed \"pioneers\".
+echo
+echo The pioneers package should already be installed, and you may now remove the
+echo gnocatan package.
+echo
+echo The new equivalent for the \"gnocatan-server-console\" command is
+echo \"pioneers-server-console\".
+echo
diff -ruN gnocatan/gnocatan-server-gtk gnocatan-patched/gnocatan-server-gtk
--- gnocatan/gnocatan-server-gtk	1969-12-31 18:00:00.000000000 -0600
+++ gnocatan-patched/gnocatan-server-gtk	2005-07-26 18:35:46.000000000 -0500
@@ -0,0 +1,11 @@
+#! /bin/sh
+
+echo
+echo The gnocatan project and its Fink package have been renamed \"pioneers\".
+echo
+echo The pioneers package should already be installed, and you may now remove the
+echo gnocatan package.
+echo
+echo The new equivalent for the \"gnocatan-server-gtk\" command is
+echo \"pioneers-server-gtk\".
+echo
diff -ruN gnocatan/gnocatanai gnocatan-patched/gnocatanai
--- gnocatan/gnocatanai	1969-12-31 18:00:00.000000000 -0600
+++ gnocatan-patched/gnocatanai	2005-07-26 18:35:41.000000000 -0500
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+echo
+echo The gnocatan project and its Fink package have been renamed \"pioneers\".
+echo
+echo The pioneers package should already be installed, and you may now remove the
+echo gnocatan package.
+echo
+echo The new equivalent for the \"gnocatanai\" command is \"pioneersai\".
+echo