configure: Create the dist directory

diff --git a/configure b/configure
index c9fa978c8fd9491e4c65572444b462eba0f05a9b..11edfbca655c76ec83946ddea86983390c806f16 100755 (executable)
--- a/configure
+++ b/configure
@@ -727,7 +727,7 @@ step_msg "making directories"
 
 for i in \
     doc doc/std doc/extra \
-    dl tmp
+    dl tmp dist
 do
     make_dir $i
 done