diff options
Diffstat (limited to 'externals/gridflow/doc/images')
-rw-r--r-- | externals/gridflow/doc/images/crop_icons | 12 | ||||
-rw-r--r-- | externals/gridflow/doc/images/header1.png | bin | 0 -> 13279 bytes | |||
-rw-r--r-- | externals/gridflow/doc/images/header1.xcf | bin | 0 -> 59365 bytes | |||
-rw-r--r-- | externals/gridflow/doc/images/header2.png | bin | 0 -> 1096 bytes | |||
-rw-r--r-- | externals/gridflow/doc/images/header3.png | bin | 0 -> 1831 bytes |
5 files changed, 12 insertions, 0 deletions
diff --git a/externals/gridflow/doc/images/crop_icons b/externals/gridflow/doc/images/crop_icons new file mode 100644 index 00000000..4aa06499 --- /dev/null +++ b/externals/gridflow/doc/images/crop_icons @@ -0,0 +1,12 @@ +if [ "z$1" = "zall" ]; then + foo="\@*.png format*.png" +else + foo="$1" +fi + +for z in $foo; do \ + echo $z + pngtopnm $z | pnmcrop | pnmtopng -background black -transparent =red -compress 9 > $z.new + mv $z.new $z +done + diff --git a/externals/gridflow/doc/images/header1.png b/externals/gridflow/doc/images/header1.png Binary files differnew file mode 100644 index 00000000..ad7c13c5 --- /dev/null +++ b/externals/gridflow/doc/images/header1.png diff --git a/externals/gridflow/doc/images/header1.xcf b/externals/gridflow/doc/images/header1.xcf Binary files differnew file mode 100644 index 00000000..d114ef28 --- /dev/null +++ b/externals/gridflow/doc/images/header1.xcf diff --git a/externals/gridflow/doc/images/header2.png b/externals/gridflow/doc/images/header2.png Binary files differnew file mode 100644 index 00000000..cf303b35 --- /dev/null +++ b/externals/gridflow/doc/images/header2.png diff --git a/externals/gridflow/doc/images/header3.png b/externals/gridflow/doc/images/header3.png Binary files differnew file mode 100644 index 00000000..8cfcccca --- /dev/null +++ b/externals/gridflow/doc/images/header3.png |