#! /bin/awk
#
BEGIN { FS = "";
	rfc = "";
	title = "Line-mode Guide";
	date = "14 July 1993";
	author = "T. Berners-Lee";
	pagelength = 58;
}
{ lines++ }

#	End of page
#
//{
	while (lines<(pagelength-2)) { printf "\n"; lines++ }
	printf "\n%-69s%d\n%c\n" , author, ++page, 12;
	lines = 0;
	if ($2 != "") {
	    printf "%-15s%35s%20s\n\n%s\n" , rfc, title, date, $2;
	    lines = 3;
	}
}
#
#	Other lines
#
!//{ if (lines == 0) {
	printf "%-15s%35s%20s\n\n%s\n" , rfc, title, date, $0;
	lines = 3;
    } else {
    	print
    }
}
#
#	End of document
#
END {
	if (lines > 0) {
	    while (lines<(pagelength-2)) { printf "\n"; lines++ }
	    printf "\n%-69s%d\n%c\n" , author, ++page, 12
	}
}