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

diff --git a/helm/software/matita/nlibrary/topology/convert.awk b/helm/software/matita/nlibrary/topology/convert.awk
index 68bcf8a62..757872324 100644
--- a/helm/software/matita/nlibrary/topology/convert.awk
+++ b/helm/software/matita/nlibrary/topology/convert.awk
@@ -9,6 +9,7 @@ BEGIN {
 	match($0, "screenshot *\"([^\"]+)\"", data);
 	key = data[1];
 	refs[key] = key ".png"; 
+	$0 = gensub(/\(\*\* *screenshot[^*]*\*\)/,"",$0);
 	}
 
 # literate programming