38 lines
624 B
Text
38 lines
624 B
Text
|
#! /usr/bin/awk -f
|
||
|
|
|
||
|
|
# This shouldn't contain any gawk specific features anymore
|
||
|
|
|
||
|
|
# Program to create ascii from info;
|
||
|
|
# Missing: table of contents
|
||
|
|
|
||
|
|
# skip
|
||
|
|
|
||
|
|
BEGIN {NODELINE=0; NODE=0; KEEP=1; printf "\n\n"}
|
||
|
|
|
||
|
|
|
||
|
|
/^\037$/ { NODELINE=1; NODE=NODE+1; KEEP=1; next}
|
||
|
|
|
||
|
|
NODE==1 { next }
|
||
|
|
|
||
|
|
NODELINE==1 {
|
||
|
|
NODELINE=2;
|
||
|
|
sub("^.*Node: ","*Node: ");
|
||
|
|
sub(",.*$","");
|
||
|
|
printf "\n\n\n%s",$0;
|
||
|
|
#print
|
||
|
|
next;
|
||
|
|
}
|
||
|
|
|
||
|
|
NODELINE { NODELINE=NODELINE+1 }
|
||
|
|
|
||
|
|
NODELINE==4 { printf "\t\t\t\t"; }
|
||
|
|
NODELINE==5 { printf "\t\t\t\t"; NODELINE=0}
|
||
|
|
|
||
|
|
|
||
|
|
/^\*\ Menu:$/ { KEEP=0 }
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
KEEP==0 { next }
|
||
|
|
|
||
|
|
{ print }
|