4 refs["matita"] = "http://matita.cs.unibo.it";
9 match($0, "screenshot *\"([^\"]+)\"", data);
11 refs[key] = key ".png";
12 $0 = gensub(/\(\*\* *screenshot[^*]*\*\)/,"",$0);
15 # literate programming
17 indent = ""; NF = 0; }
19 indent = " "; NF = 0; }
23 if (do_print == 1) print indent $0; }
30 print "[" i "]: " refs[i];