Index: trunk/dvodist/scripts/mkindex.sh
===================================================================
--- trunk/dvodist/scripts/mkindex.sh	(revision 33986)
+++ trunk/dvodist/scripts/mkindex.sh	(revision 35238)
@@ -8,23 +8,22 @@
 set topdir = $argv[1]
 
-# this is weak: depends on root location
-ln -s /data/ippc17.0/www/dvodist/www-root/index.php $topdir/
+set file = `basename $topdir`
 
-set file = `basename $topdir`
-echo "$file : plain : title  : Title" > $topdir/index.txt
-echo "..             : dir   : dir2  : parent directory" >> $topdir/index.txt
+echo '<?php include "@HTDOCS@/www-util/dvodist.page.php"; ?>' >  $topdir/index.mkd
+
+echo "$file : plain : title  : Title" >> $topdir/index.mkd
+echo "..             : dir   : dir2  : parent directory" >> $topdir/index.mkd
 
 set N = 1
 foreach entry ($topdir/*)
   set file = `basename $entry`
-  if ("$file" == "index.php") continue
-  if ("$file" == "index.txt") continue
+  if ("$file" == "index.mkd") continue
 
   if (-d $entry) then
-    echo "$file : dir : dir$N : directory" >> $topdir/index.txt
+    echo "@ $file : dir : dir$N : directory" >> $topdir/index.mkd
   endif
 
   if (-f $entry) then
-    echo "$file : file : file$N : database file" >> $topdir/index.txt
+    echo "@ $file : file : file$N : database file" >> $topdir/index.mkd
   endif