diff --git a/doc/build_po.php b/doc/build_po.php index add5e5c126..fb86028bea 100755 --- a/doc/build_po.php +++ b/doc/build_po.php @@ -17,6 +17,7 @@ $header = <<