diff --git a/zbeta/texi2html/DEPENDS b/doc-tools/texi2html/DEPENDS
similarity index 100%
rename from zbeta/texi2html/DEPENDS
rename to doc-tools/texi2html/DEPENDS
diff --git a/zbeta/texi2html/DETAILS b/doc-tools/texi2html/DETAILS
similarity index 100%
rename from zbeta/texi2html/DETAILS
rename to doc-tools/texi2html/DETAILS