X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=flower%2Finternational.cc;h=287a490a4c34bab44eae1c6152269ffa3c464d5e;hb=f4d8c77fc2ebac49bbdb0d0e9bec636313508846;hp=7bb4130856468c1824257a2d21b33babe3ca4ca8;hpb=31568c504806f35aac420a394c9eab07abd9faa7;p=lilypond.git

diff --git a/flower/international.cc b/flower/international.cc
index 7bb4130856..287a490a4c 100644
--- a/flower/international.cc
+++ b/flower/international.cc
@@ -1,9 +1,20 @@
 /*
-  international.cc -- implement stuff for internationalisation
+  This file is part of LilyPond, the GNU music typesetter.
 
-  source file of the GNU LilyPond music typesetter
+  Copyright (C) 1997--2014 Jan Nieuwenhuizen <janneke@gnu.org>
 
-  (c) 1997--2006 Jan Nieuwenhuizen <janneke@gnu.org>
+  LilyPond is free software: you can redistribute it and/or modify
+  it under the terms of the GNU General Public License as published by
+  the Free Software Foundation, either version 3 of the License, or
+  (at your option) any later version.
+
+  LilyPond is distributed in the hope that it will be useful,
+  but WITHOUT ANY WARRANTY; without even the implied warranty of
+  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+  GNU General Public License for more details.
+
+  You should have received a copy of the GNU General Public License
+  along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
 */
 
 #include "config.hh"
@@ -32,14 +43,20 @@ _f (char const *format, ...)
 {
   va_list args;
   va_start (args, format);
-  string str = String_convert::vform_string (gettext (format), args);
+  string str = v_f (format, args);
   va_end (args);
   return str;
 }
 
 string
-_f (char const *format, string s, string s2, string s3)
+v_f (char const *format, va_list args)
+{
+  return String_convert::vform_string (gettext (format), args);
+}
+
+string
+_f (char const *format, const string &s, const string &s2, const string &s3)
 {
   return String_convert::form_string (gettext (format), s.c_str (), s2.c_str (),
-				      s3.c_str ());
+                                      s3.c_str ());
 }