From 01eb49b66051dc9446ae69512adef47a99c0ab08 Mon Sep 17 00:00:00 2001
From: Sami Vaarala <sami.vaarala@iki.fi>
Date: Wed, 18 Sep 2013 21:51:18 +0300
Subject: [PATCH] remove empty doc dir from dist

---
 make_dist.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make_dist.sh b/make_dist.sh
index a5802d63..7904e763 100644
--- a/make_dist.sh
+++ b/make_dist.sh
@@ -39,7 +39,7 @@ rm -rf $DIST
 mkdir $DIST
 mkdir $DIST/src-separate
 mkdir $DIST/src
-mkdir $DIST/doc
+#mkdir $DIST/doc
 mkdir $DIST/licenses
 mkdir $DIST/examples
 mkdir $DIST/examples/hello