diff --git a/misc/dmjavadoc b/devel/dmjavadoc similarity index 100% rename from misc/dmjavadoc rename to devel/dmjavadoc diff --git a/misc/dmscaladoc b/devel/dmscaladoc similarity index 100% rename from misc/dmscaladoc rename to devel/dmscaladoc diff --git a/misc/dmtexdoc b/devel/dmtexdoc similarity index 100% rename from misc/dmtexdoc rename to devel/dmtexdoc diff --git a/misc/idea b/devel/idea similarity index 100% rename from misc/idea rename to devel/idea diff --git a/misc/ipy b/devel/ipy similarity index 100% rename from misc/ipy rename to devel/ipy diff --git a/misc/mkscript b/devel/mkscript similarity index 100% rename from misc/mkscript rename to devel/mkscript diff --git a/misc/pomdep-graph b/devel/pomdep-graph similarity index 100% rename from misc/pomdep-graph rename to devel/pomdep-graph diff --git a/misc/update-amm b/devel/update-amm similarity index 100% rename from misc/update-amm rename to devel/update-amm