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`
34 while [ "x$1" != "x" ]
38 INCPATH=$INCPATH' '${1##-I}
39 #INCPATH=$INCPATH' '$(1)
49 root_prefix=`perl -MCwd -e '$_ = cwd;s/^.*src\/?//;@f=split /\//;$n=$#f+1;print "../"x $n;'`
50 menu_prefix=${root_prefix##../}
52 if [ -f ${menu_prefix}menu.def ]
55 echo -n ' '${menu_prefix}menu.def
64 echo -n `echo $i | sed 's/.wml/.html/'`: $i