Patch (was: debian mini-banner)

[Frank Lichtenheld <djpig@debian.org>]

On Mon, Apr 05, 2004 at 07:15:08PM +0200, Uli Martens wrote:
> As this kind of banner is rather popular at the moment, I've made one
> with the Debian logo. Feel free to modify and/or include it on
> http://www.debian.org/logos/ if you like. The swirl was taken from
> http://www.debian.org/logos/officiallogo-25.jpg .

I prepared a patch to add iti (attached). If nobody objects I will add it in the
next days.

Gruesse,
-- 
Frank Lichtenheld <djpig@debian.org>
www: http://www.djpig.de/

Index: logos/index.data
===================================================================
RCS file: /cvs/webwml/webwml/english/logos/index.data,v
retrieving revision 1.21
diff -u -r1.21 index.data
--- logos/index.data	2 Feb 2003 22:14:20 -0000	1.21
+++ logos/index.data	5 Apr 2004 23:05:08 -0000
@@ -53,6 +53,9 @@
 <define-tag alt-debian_powered whitespace=delete>
   <gettext domain="others">[Debian powered]</gettext>
 </define-tag>
+<define-tag alt-debian-mini whitespace=delete>
+  <gettext domain="others">[Debian] (mini button)</gettext>
+</define-tag>
 
 <define-tag openlogotable>
 <table border="0">
@@ -202,4 +205,5 @@
 <img src="button-k2.png" alt="<alt-powered_by_debian>"> &nbsp;
 <img src="button-l.png" alt="<alt-powered_by_debian_gnu_linux>"> &nbsp;
 <img src="button-vy1.png" alt="<alt-debian_powered>"> &nbsp;
+<img src="button-mini.png" alt="<alt-debian-mini>"> &nbsp;
 </define-tag>
Index: po/others.pot
===================================================================
RCS file: /cvs/webwml/webwml/english/po/others.pot,v
retrieving revision 1.13
diff -u -r1.13 others.pot
--- po/others.pot	25 Mar 2004 12:11:56 -0000	1.13
+++ po/others.pot	5 Apr 2004 23:05:08 -0000
@@ -250,6 +250,10 @@
 msgid "[Debian powered]"
 msgstr ""
 
+#: ../../english/logos/index.data:57
+msgid "[Debian] (mini button)"
+msgstr ""
+
 #: ../../english/misc/merchandise.def:8
 msgid "Products"
 msgstr ""