Rev 13663 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 13663 | Rev 15526 | ||
|---|---|---|---|
| Line 1... | Line 1... | ||
| 1 | #Make documents index. |
1 | #Make documents index. |
| - | 2 | !! Careful docdir and Docdir variables have to be defined before use of the script |
|
| - | 3 | !! |
|
| 2 | 4 | ||
| 3 | !writefile $docdir/.index |
5 | !writefile $docdir/.index |
| 4 | dlist=!filelist $wims_home/$Docdir |
6 | dlist=!filelist $wims_home/$Docdir |
| 5 | dlist=!words2items $dlist |
7 | dlist=!words2items $dlist |
| 6 | !for d in $dlist |
8 | !for d in $dlist |