From 4b9a4468238b96482478b3fabdfe6fb8cabb4fd6 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Fri, 21 Jun 2013 14:29:28 -0700
Subject: Populate the gh-pages branch of the repo

---
 mk/util.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mk')

diff --git a/mk/util.mk b/mk/util.mk
index c37c8034..a7d2239 100644
--- a/mk/util.mk
+++ b/mk/util.mk
@@ -14,7 +14,7 @@ cmd      = @$(echo-cmd) $(cmd_$1)
 
 label    = $(if $(Q),$(Q)echo '  $1';)
 
-find-cmd = $(shell which $1 2$(redir))
+find-cmd = $(shell which $1 2>/dev/null)
 
 drop-prefix = $(patsubst $(topdir)/%,%,$1)
 
@@ -23,7 +23,7 @@ quiet_cmd_mkdir = MKDIR      $(call drop-prefix,$@)
       cmd_mkdir = mkdir -p $@
 
 quiet_cmd_copydir = CPDIR      $(call drop-prefix,$@)
-      cmd_copydir = cp -r $(DIR) $@
+      cmd_copydir = cp -r $(DIR) $(dir $@)
 
 quiet_cmd_cp = CP         $(call drop-prefix,$@)
       cmd_cp = cp $< $@
-- 
cgit v1.2.3