Rename the Windows Net executable, due to its clash with the system

net.exe.

[originally from svn r4215]

diff --git a/Recipe b/Recipe
index 76e6cb1c1d2040f149c06e167cb98ae200a9264b..f71a27fb879ddf3c67753b5337212be4d98b2f49 100644 (file)
--- a/Recipe
+++ b/Recipe
@@ -22,7 +22,9 @@ fifteen  : [X] gtk COMMON fifteen
 sixteen  : [X] gtk COMMON sixteen
 rect     : [X] gtk COMMON rect
 
-net      : [G] WINDOWS COMMON NET
+# The Windows Net shouldn't be called `net.exe' since Windows
+# already has a reasonably important utility program by that name!
+netgame  : [G] WINDOWS COMMON NET
 cube     : [G] WINDOWS COMMON cube
 fifteen  : [G] WINDOWS COMMON fifteen
 sixteen  : [G] WINDOWS COMMON sixteen