Changeset 35238 for trunk/dvodist/scripts/mkindex.sh
- Timestamp:
- Mar 5, 2013, 2:34:10 PM (13 years ago)
- File:
-
- 1 edited
-
trunk/dvodist/scripts/mkindex.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/dvodist/scripts/mkindex.sh
r33986 r35238 8 8 set topdir = $argv[1] 9 9 10 # this is weak: depends on root location 11 ln -s /data/ippc17.0/www/dvodist/www-root/index.php $topdir/ 10 set file = `basename $topdir` 12 11 13 set file = `basename $topdir` 14 echo "$file : plain : title : Title" > $topdir/index.txt 15 echo ".. : dir : dir2 : parent directory" >> $topdir/index.txt 12 echo '<?php include "@HTDOCS@/www-util/dvodist.page.php"; ?>' > $topdir/index.mkd 13 14 echo "$file : plain : title : Title" >> $topdir/index.mkd 15 echo ".. : dir : dir2 : parent directory" >> $topdir/index.mkd 16 16 17 17 set N = 1 18 18 foreach entry ($topdir/*) 19 19 set file = `basename $entry` 20 if ("$file" == "index.php") continue 21 if ("$file" == "index.txt") continue 20 if ("$file" == "index.mkd") continue 22 21 23 22 if (-d $entry) then 24 echo " $file : dir : dir$N : directory" >> $topdir/index.txt23 echo "@ $file : dir : dir$N : directory" >> $topdir/index.mkd 25 24 endif 26 25 27 26 if (-f $entry) then 28 echo " $file : file : file$N : database file" >> $topdir/index.txt27 echo "@ $file : file : file$N : database file" >> $topdir/index.mkd 29 28 endif 30 29
Note:
See TracChangeset
for help on using the changeset viewer.
