Rev 7 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 7 | reyssat | 1 | #! /bin/sh |
| 2 | |||
| 3 | thisdir=`pwd | sed 's!/cpp$!!;s!/src$!!'` |
||
| 4 | cd $thisdir |
||
| 5 | typ=$1 |
||
| 6 | oeftest=`grep '^category=' INDEX 2>/dev/null` |
||
| 7 | if [ -z "$typ" ]; then echo "$oeftest" | grep oef >/dev/null && typ=oef; fi |
||
| 8 | if [ -z "$typ" ]; then echo "$oeftest" | grep deductio >/dev/null && typ=deduc; fi |
||
| 9 | if [ -z "$typ" ]; then echo "$oeftest" | grep document >/dev/null && typ=docu; fi |
||
| 549 | bpr | 10 | if [ -z "$typ" ]; then echo "$oeftest" | grep dialog >/dev/null && typ=dialog; fi |
| 7 | reyssat | 11 | if [ -z "$typ" ]; then exit; fi |
| 12 | |||
| 13 | lastdir=$thisdir |
||
| 14 | wims_home=$w_wims_home |
||
| 15 | |||
| 16 | while [ -z "$wims_home" ] && [ "$lastdir" != "/" ] |
||
| 17 | do |
||
| 18 | wims_home=`cat $lastdir/.wimshome 2>/dev/null` |
||
| 19 | lastdir=`dirname $lastdir` |
||
| 20 | done |
||
| 21 | |||
| 22 | if [ -z "$wims_home" ]; then exit; fi |
||
| 23 | |||
| 24 | . $wims_home/public_html/scripts/$typ/mkindex |
||
| 25 |