noweb/notanglefix

   1 #! /usr/bin/awk -f\r
   2 \r
   3 function emit_buffer() {\r
   4   print indent buffer;\r
   5   buffer = "";\r
   6 }\r
   7 \r
   8 BEGIN {\r
   9   buffer = "";\r
  10   indent = "";\r
  11 }\r
  12 \r
  13 /^ *#line [0-9]/ {\r
  14   indent=buffer;\r
  15   buffer="";\r
  16 }\r
  17 \r
  18 /^  */ {\r
  19   if (length(buffer) > 0) gsub("^ *", "");\r
  20 }\r
  21 \r
  22 /\\begin_inset Newline newline$/ {\r
  23   if (NR > 1) emit_buffer();\r
  24 }\r
  25 \r
  26 /^ *\\backslash/ {\r
  27   buffer = buffer "\\";\r
  28   $0 = "";\r
  29 }\r
  30 \r
  31 /\\/ {\r
  32   gsub("\\\\.*$", "");\r
  33 }\r
  34 \r
  35 {\r
  36   buffer = buffer $0;\r
  37 }\r
  38 \r
  39 END {\r
  40   if (length(buffer) > 0) emit_buffer();\r
  41 }\r