15 echo "Fehler: Includedatei $1 existiert nicht" > /dev/stderr
22 for j in `sed -n 's/^#[Ii][Nn][Cc][Ll][Uu][Dd][Ee] *[<"]\([^>"]*\).*/\1/p' $i`
32 while [ "x$1" != "x" ]
36 INCPATH=$INCPATH' '${1##-I}
37 #INCPATH=$INCPATH' '$(1)
51 echo -n `echo $i | sed 's/.wml/.html/'`: $i