Rev 549 | 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 |
583 | bpr | 11 | if [ -z "$typ" ]; then echo "$oeftest" | grep scenario >/dev/null && typ=scenario; fi |
7 | reyssat | 12 | if [ -z "$typ" ]; then exit; fi |
13 | |||
14 | lastdir=$thisdir |
||
15 | wims_home=$w_wims_home |
||
16 | |||
17 | while [ -z "$wims_home" ] && [ "$lastdir" != "/" ] |
||
18 | do |
||
19 | wims_home=`cat $lastdir/.wimshome 2>/dev/null` |
||
20 | lastdir=`dirname $lastdir` |
||
21 | done |
||
22 | |||
23 | if [ -z "$wims_home" ]; then exit; fi |
||
24 | |||
25 | . $wims_home/public_html/scripts/$typ/mkindex |
||
26 |