Index: trunk/dvodist/www-util/dvodist.page.mkd
===================================================================
--- trunk/dvodist/www-util/dvodist.page.mkd	(revision 39557)
+++ trunk/dvodist/www-util/dvodist.page.mkd	(revision 40053)
@@ -14,5 +14,5 @@
   $rootdir = "@ROOTWWW@";
  } else {
-// $rootdir = "@ROOTWWW@@ROOTDIR@";
+// $rootdir = "@ROOTWWW@/@ROOTDIR@";
   $rootdir = "@ROOTWWW@";
  }