TexiWeb Jr. – a simple literate programming system written in Awk, using Texinfogithub.com/arnoldrobbins1 pointsmartmic2 years ago