helm/software/matita/nlibrary/topology/convert.awk

   1 BEGIN {
   2         do_print = 1;
   3         indent = "";
   4         refs["matita"] = "http://matita.cs.unibo.it";
   5         }
   6
   7 # markdown mangling
   8 /screenshot *".*"/ {
   9         match($0, "screenshot *\"([^\"]+)\"", data);
  10         key = data[1];
  11         refs[key] = key ".png";
  12         $0 = gensub(/\(\*\* *screenshot[^*]*\*\)/,"",$0);
  13         }
  14
  15 # literate programming
  16 /DOCBEGIN/ {
  17         indent = ""; NF = 0; }
  18 /DOCEND/ {
  19         indent = "    "; NF = 0; }
  20 /HIDE/ {
  21         do_print = 0; }
  22 {
  23         if (do_print == 1) print indent $0; }
  24 /UNHIDE/ {
  25         do_print = 1; }
  26
  27 # closing
  28 END {
  29         for (i in refs) {
  30                 print "[" i "]: " refs[i];
  31         }
  32 }