15 echo "Error: Include file \`$1' does not exist" > /dev/stderr
16 # echo "Fehler: Includedatei $1 existiert nicht" > /dev/stderr
23 for j in `sed -n 's/^#[Ii][Nn][Cc][Ll][Uu][Dd][Ee] *[<"]\([^>"]*\).*/\1/p' $i` \
24 `sed -n 's/^#[Rr][Ee][Aa][Dd] *[<"]\([^>"]*\).*/\1/p' $i`
36 while [ "x$1" != "x" ]
40 INCPATH=$INCPATH' '${1##-I}
41 #INCPATH=$INCPATH' '$(1)
55 echo -n `echo $i | sed 's/.wml/.html/'`: $i