X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2Fconvert.awk;h=68bcf8a6260599bc629c02f7081213fbe93635ec;hb=4286d368b6d902a4b54c4cf8590c387f2cdb90ea;hp=d9c9b91e9cbac1117b8cce05e8ebd139d5dfc000;hpb=bee436af0c6ceb1c83259c94036df8b12f901f2d;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/convert.awk b/helm/software/matita/nlibrary/topology/convert.awk
index d9c9b91e9..68bcf8a62 100644
--- a/helm/software/matita/nlibrary/topology/convert.awk
+++ b/helm/software/matita/nlibrary/topology/convert.awk
@@ -1,6 +1,31 @@
-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];	
+	}
+}