BEGIN { 
	do_print = 1; 
	indent = ""; 
	refs["matita"] = "http://matita.cs.unibo.it";
	} 

# markdown mangling
/screenshot *".*"/ { 
	match($0, "screenshot *\"([^\"]+)\"", data);
	key = data[1];
	refs[key] = key ".png"; 
	}

# literate programming
/DOCBEGIN/ { 
	indent = ""; NF = 0; }
/DOCEND/ { 
	indent = "    "; NF = 0; } 
/HIDE/ { 
	do_print = 0; }
{ 
	if (do_print == 1) print indent $0; } 
/UNHIDE/ { 
	do_print = 1; }

# closing
END { 
	for (i in refs) {
		print "[" i "]: " refs[i];	
	}
}