locale/make-php-trans.awk

   1 # $Id$
   2
   3 BEGIN {
   4   msgid=""; msgstr="";
   5   print ("<?php\n");
   6 }
   7
   8 /^msgid "/ { #"{
   9   if (msgid && str) {
  10     gsub(/\$/, "\\$", str);
  11     print ("$locale[\"" msgid "\"] = \"" str "\";");
  12   }
  13   str = substr ($0, 8, length ($0) - 8);
  14   msgstr="";
  15 }
  16
  17 /^msgstr "/ { #"{
  18   msgid=str;
  19   str = substr ($0, 9, length ($0) - 9);
  20   next;
  21 }
  22
  23 /^"/ { #"{
  24   str = (str substr ($0, 2, length ($0) - 2));
  25   next;
  26 }
  27
  28 END {
  29   if (msgid && str) {
  30     gsub(/\$/, "\\$", str);
  31     print ("$locale[\"" msgid "\"] =\n   \"" str "\";");
  32   }
  33   print ("\n?>");
  34 }
  35