remove empty doc dir from dist

11 years ago · 01eb49b660
1 changed files with 1 additions and 1 deletions
--- 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