more on screenshot

[helm.git] / helm / software / matita / nlibrary / topology / convert.awk

diff --git a/helm/software/matita/nlibrary/topology/convert.awk b/helm/software/matita/nlibrary/topology/convert.awk
index d9c9b91e9cbac1117b8cce05e8ebd139d5dfc000..68bcf8a6260599bc629c02f7081213fbe93635ec 100644 (file)
--- 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];      
+       }
+}