Index: trunk/dvodist/src/generate
===================================================================
--- trunk/dvodist/src/generate	(revision 34748)
+++ trunk/dvodist/src/generate	(revision 35238)
@@ -6,4 +6,5 @@
 set htdocs  = ""
 set rootdir  = ""
+set rootwww  = ""
 set args    = ""
 set VERBOSE = 0
@@ -25,4 +26,12 @@
    else
      set rootdir = `echo $1 | tr = ' ' | awk '{print $2}'`
+   endif
+   breaksw;
+  case --rootwww*
+   if ("$1" == "--rootwww") then
+     shift
+     set rootwww = $1
+   else
+     set rootwww = `echo $1 | tr = ' ' | awk '{print $2}'`
    endif
    breaksw;
@@ -47,4 +56,5 @@
   echo "htdocs : $htdocs"
   echo "rootdir: $rootdir"
+  echo "rootwww: $rootwww"
   echo "input  : $args[1]"
   echo "output : $args[2]"
@@ -53,6 +63,7 @@
 if ("$htdocs" == "") goto usage
 if ("$rootdir" == "") goto usage
+if ("$rootwww" == "") goto usage
 
-cat $args[1] | sed "s|@HTDOCS@|$htdocs|" | sed "s|@ROOTDIR@|$rootdir|" > $args[2]
+cat $args[1] | sed "s|@HTDOCS@|$htdocs|" | sed "s|@ROOTDIR@|$rootdir|" | sed "s|@ROOTWWW@|$rootwww|" > $args[2]
 exit 0