X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fgenerate_contributions.py;h=6efe84ef5816b54f965289261c7386239619cf54;hb=059dad2acec052c293d0b0a068376ab8a6c024b7;hp=01b70d67e0433370fb8f8756471371a967006e3e;hpb=12d6de7e704eea8450f841cd2c7d6b3810f46461;p=lyx.git

diff --git a/lib/generate_contributions.py b/lib/generate_contributions.py
index 01b70d67e0..6efe84ef58 100755
--- a/lib/generate_contributions.py
+++ b/lib/generate_contributions.py
@@ -13,12 +13,13 @@ This script both stores and manipulates the raw data needed to
 create CREDITS, credits.inc and blanket-permission.inc
 
 Usage:
+
 $ python generate_contributions.py \
   CREDITS \
   credits.inc \
   blanket-permission.inc
 
-where the arguments are the names of the generated files.
+where the arguments are the pathnames of the generated files.
 '''
 
 import codecs, sys, textwrap
@@ -91,7 +92,16 @@ def error(message):
 
 
 def usage(prog_name):
-     return "Usage: %s <CREDITS> <credits.inc> <blanket-permission.inc>" % prog_name
+     return '''
+Usage:
+
+$ python generate_contributions.py \\
+  CREDITS \\
+  credits.inc \\
+  blanket-permission.inc
+
+where the arguments are the pathnames of the generated files.
+'''
 
 
 def collate_incomplete(contributers):
@@ -160,7 +170,7 @@ if (isset($email) && $email != "") {
 } else
         $output=$output. "<dt><b>${name}</b>";
 
-$msg = ereg_replace("\\n *", "\\n  ", ltrim($msg));
+$msg = preg_replace("/\\n */", "\\n  ", ltrim($msg));
 
 $output=$output. "
  </dt>
@@ -377,6 +387,14 @@ contributers = [
                  "28 January 2011",
                  u"fix-cm module"),
 
+     contributer(u"Gioele Barabucci",
+                 "gioele () svario ! it",
+                 "GPL",
+                 "Contribution license",
+                 "m=136933235620262",
+                 "23 May 2013",
+                 u"ACM-SIGS layouts"),
+
      contributer(u"Özgür Uğraş Baran",
                  "ugras.baran () gmail ! com",
                  "GPL",
@@ -911,7 +929,7 @@ contributers = [
                  "",
                  "",
                  "",
-                 u"Original name that is now two character shorter"),
+                 u"Original name that is now two characters shorter"),
 
      contributer(u"KDE Artists",
                  "http://artist.kde.org/",