3 # Warning: this may use gnu-awk features
5 # Program to create ascii from info;
6 # Missing: table of contents
10 BEGIN {NODELINE=0; NODE=0; KEEP=1; printf "\n\n"}
13 /^\037$/ { NODELINE=1; NODE=NODE+1; KEEP=1; next}
19 sub("^.*Node: ","*Node: ");
26 NODELINE { NODELINE=NODELINE+1 }
28 NODELINE==4 { printf "\t\t\t\t"; }
29 NODELINE==5 { printf "\t\t\t\t"; NODELINE=0}
32 /^\* Menu:$/ { KEEP=0 }