Renamed commands to cmds - make is confused that the commands directory

exists.

diff --git a/Makefile b/Makefile
index ed3b7fa82657800d9406a0d0a9b8750bd8ea482e..25c34b66f86f0a2147e0cf1c4cbec2d794a0e692 100755 (executable)
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ usage:
        @echo " make world      # Compile everything (libraries & commands)" >&2
        @echo " make includes   # Install include files from src/" >&2
        @echo " make libraries  # Compile and install libraries" >&2
-       @echo " make commands   # Compile commands, but don't install" >&2
+       @echo " make cmds       # Compile commands, but don't install" >&2
        @echo " make install    # Compile and install commands" >&2
        @echo " make clean      # Remove all compiler results" >&2
        @echo "" >&2
@@ -24,7 +24,7 @@ usage:
 # for which it has to install /etc (for users and ownerships).
 # etcfiles also creates a directory hierarchy in its
 # 'make install' target.
-world: etcfiles includes libraries commands install
+world: etcfiles includes libraries cmds install
 
 includes:
        cd include && $(MAKE) install
@@ -32,7 +32,7 @@ includes:
 libraries:
        cd lib && $(MAKE) install
 
-commands:
+cmds:
        @echo "Are the libraries up to date?"; sleep 2
        test ! -f commands/Makefile || { cd commands && $(MAKE); }