From 48444e1f19629f38fac04df9b815cdcc9e48eafa Mon Sep 17 00:00:00 2001
From: Davis King <davis@dlib.net>
Date: Mon, 16 May 2011 17:27:32 -0400
Subject: [PATCH] Improved makedocs script a bit.  Now it uses hg archive
 rather than hg clone to get a copy of the sources.

---
 docs/makedocs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/makedocs b/docs/makedocs
index 73831656a..0176eb0a2 100755
--- a/docs/makedocs
+++ b/docs/makedocs
@@ -77,7 +77,7 @@ makedocs ()
 # grab a clean copy of the repository 
     rm -rf docs/cache
     rm -rf cache.$$
-    hg clone .. cache.$$ > /dev/null || report_failure
+    hg archive cache.$$ || report_failure
 # put the stuff we need into the docs/cache folder
     mkdir docs/cache
     mv cache.$$/dlib docs/cache/