-BEGIN { p = 1; indent = ""; }
-/DOCBEGIN/ { indent = ""; NF = 0; }
-/DOCEND/ { indent = " "; NF = 0; }
-/HIDE/ { p = 0; }
-{ if (p == 1) print indent $0; }
-/UNHIDE/ { p = 1; }
+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];
+ }
+}