apertium-documentation-es/dtd2tex.awk

   1 #!/usr/bin/awk -f
   2
   3 BEGIN{
   4   print "\\begin{figure}[here]";
   5   print "\\begin{small}";
   6   print "\\begin{alltt}";
   7   FS=" ";
   8 }
   9
  10 {
  11   anterior = 0;
  12   for(i = 1 ; i <= NF; i++)
  13   {
  14     if(anterior)
  15     {
  16       $i = "\\textbf{" $i "}";
  17     }
  18     anterior = gsub("ELEMENT", "\\textsl{ELEMENT}", $i);
  19     gsub("ATTLIST", "\\textsl{ATTLIST}", $i);
  20     gsub("#PCDATA", "\\textsl{#PCDATA}", $i);
  21     gsub("IDREF", "\\textsl{IDREF}", $i);
  22     gsub("#REQUIRED", "\\textsl{#REQUIRED}", $i);
  23     gsub("#IMPLIED", "\\textsl{#IMPLIED}", $i);
  24     gsub("EMPTY", "\\textsl{EMPTY}", $i);
  25     gsub(" ID", " \\textsl{ID}", $i);
  26   }
  27
  28   print $0;
  29 }
  30 END{
  31   print "\\end{alltt}";
  32   print "\\end{small}";
  33   print "\\end{figure}";
  34 }