3 if [ "$FILE" = "" -o ! -f "$FILE" ]; then
4 echo "Please specify a .nw file"
8 noroots $FILE | sed 's/^<''<\(.*\)>>$/\1/' |
10 printf "%s : %s\n" "$chunk" "$FILE"
13 printf "\tnotangle -R\$@ \$< >\$@\n"
14 printf "\tchmod 755 %s\n" "$chunk"
17 printf "\tnotangle -L -R\$@ \$< | cpif \$@\n"
18 printf "include ${chunk%.c}.d\n"
21 printf "\tnotangle -L -R\$@ \$< | cpif \$@\n"
24 printf "\tnotangle -t8 -R\$@ $< >\$@\n"