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

net.exe.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@4215 cda61777-01e9-0310-a592-d414129be87e

diff --git a/Recipe b/Recipe
index 76e6cb1..f71a27f 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