diff --git a/doc/IntMap98.pdf b/IntMap98.pdf
similarity index 100%
rename from doc/IntMap98.pdf
rename to IntMap98.pdf
diff --git a/doc/balacing_wbt.pdf b/balacing_wbt.pdf
similarity index 100%
rename from doc/balacing_wbt.pdf
rename to balacing_wbt.pdf
diff --git a/doc/bbt_full.pdf b/bbt_full.pdf
similarity index 100%
rename from doc/bbt_full.pdf
rename to bbt_full.pdf
diff --git a/doc/build_deps.ml b/build_deps.ml
similarity index 100%
rename from doc/build_deps.ml
rename to build_deps.ml
diff --git a/doc/containers.md b/containers.md
similarity index 100%
rename from doc/containers.md
rename to containers.md
diff --git a/doc/dune b/dune
similarity index 100%
rename from doc/dune
rename to dune
diff --git a/doc/finger_tree.pdf b/finger_tree.pdf
similarity index 100%
rename from doc/finger_tree.pdf
rename to finger_tree.pdf
diff --git a/doc/intro.txt b/intro.txt
similarity index 100%
rename from doc/intro.txt
rename to intro.txt
diff --git a/doc/rrb_vector.pdf b/rrb_vector.pdf
similarity index 100%
rename from doc/rrb_vector.pdf
rename to rrb_vector.pdf
diff --git a/doc/scheme_wbt.ps b/scheme_wbt.ps
similarity index 100%
rename from doc/scheme_wbt.ps
rename to scheme_wbt.ps
diff --git a/doc/wbt_original.pdf b/wbt_original.pdf
similarity index 100%
rename from doc/wbt_original.pdf
rename to wbt_original.pdf