From 07ed00140a503c3fccb1e98ccd1ae03d891265f3 Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 14 Dec 2009 16:01:47 +0000 Subject: New smoother version of the GF logo The new logo is in the new directory doc/Logos. The old logo has been moved there too. The documentation has been updated to refer to the new logo. The new logo was provided in SVG format by Krasimir, but PNG files are included as well. There are some new rules in doc/Makefile to convert from SVG to PNG, which you can use if you edit the SVG files. --- doc/Makefile | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index 9c0c735be..a0955f91e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -12,3 +12,12 @@ resource: latex resource.tex latex resource.tex dvipdf resource.dvi + +# Converting SVG logos to PNG, using convert from ImageMagick +logos:: Logos/gf00.png Logos/gf0.png + +Logos/gf00.png: Logos/gf00.svg Makefile + convert -background none -size 264x216 -depth 8 $< $@ + +Logos/gf0.png: Logos/gf0.svg Makefile + convert -background none -size 320x240 -depth 8 $< $@ -- cgit v1.2.3