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         }
  13
  14 # literate programming
  15 /DOCBEGIN/ {
  16         indent = ""; NF = 0; }
  17 /DOCEND/ {
  18         indent = "    "; NF = 0; }
  19 /HIDE/ {
  20         do_print = 0; }
  21 {
  22         if (do_print == 1) print indent $0; }
  23 /UNHIDE/ {
  24         do_print = 1; }
  25
  26 # closing
  27 END {
  28         for (i in refs) {
  29                 print "[" i "]: " refs[i];
  30         }
  31 }