56ec77
Update names in Svg/svg_convertGplToPpm.sh.
@@ -1,6 +1,6 @@
|
|
1
1
|
|
2
2
|
#
|
3
|
-
#
|
3
|
+
# svg_convertGplToPpm.sh -- This function takes one palette
|
4
4
|
# produced by Gimp (e.g., syslinux.gpl) as input and outputs one PPM
|
5
5
|
# file based on it (e.g., syslinux.ppm).
|
6
6
|
#
|
@@ -24,7 +24,7 @@
|
|
24
24
|
# $Id$
|
25
25
|
# ----------------------------------------------------------------------
|
26
26
|
|
27
|
-
function
|
27
|
+
function svg_convertGplToPpm {
|
28
28
|
|
29
29
|
local COLOR=''
|
30
30
|
local COUNT=0
|