Revert "webapps.mason: make docs/dev"

This reverts commit b6bb1863f11a71ef6794e878ecb011dd9b0280c5.

diff --git a/extra/webapps/mason/docs-update/docs-update.factor b/extra/webapps/mason/docs-update/docs-update.factor
index 487a58e2c389e024cca4efff9b80d3a1d7c5911a..f3d3d4ad54df3502917cd482cf2dce9695c7498e 100644 (file)
--- a/extra/webapps/mason/docs-update/docs-update.factor
+++ b/extra/webapps/mason/docs-update/docs-update.factor
@@ -16,8 +16,8 @@ IN: webapps.mason.docs-update
         "newdocs" make-directory
         "newdocs" [ { "tar" "xfz" } docs-path suffix try-process ] with-directory
 
-        "docs/dev" file-exists? [ "docs/dev" "docs.old" move-file ] when
-        "newdocs/docs" "docs/dev" move-file
+        "docs" file-exists? [ "docs" "docs.old" move-file ] when
+        "newdocs/docs" "docs" move-file
 
         "newdocs" delete-directory
         "docs.old" file-exists? [ "docs.old" delete-tree ] when