diff --git a/doc/gf-logo.gif b/doc/Logos/gf-logo.gif similarity index 100% rename from doc/gf-logo.gif rename to doc/Logos/gf-logo.gif diff --git a/doc/gf-logo.png b/doc/Logos/gf-logo.png similarity index 100% rename from doc/gf-logo.png rename to doc/Logos/gf-logo.png diff --git a/doc/Logos/gf0.png b/doc/Logos/gf0.png new file mode 100644 index 000000000..e57403314 Binary files /dev/null and b/doc/Logos/gf0.png differ diff --git a/doc/Logos/gf0.svg b/doc/Logos/gf0.svg new file mode 100644 index 000000000..f1db74b78 --- /dev/null +++ b/doc/Logos/gf0.svg @@ -0,0 +1 @@ + Grammatical Framework Logo \ No newline at end of file diff --git a/doc/Logos/gf00.png b/doc/Logos/gf00.png new file mode 100644 index 000000000..18c280487 Binary files /dev/null and b/doc/Logos/gf00.png differ diff --git a/doc/Logos/gf00.svg b/doc/Logos/gf00.svg new file mode 100644 index 000000000..933fd0a81 --- /dev/null +++ b/doc/Logos/gf00.svg @@ -0,0 +1 @@ + Grammatical Framework Logo \ No newline at end of file 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 $< $@ diff --git a/doc/gf-formalism.html b/doc/gf-formalism.html index e52929c03..52d9256aa 100644 --- a/doc/gf-formalism.html +++ b/doc/gf-formalism.html @@ -31,7 +31,7 @@ Last update: Thu Feb 2 14:16:01 2006

- +

Abstract. This document gives a general description of the diff --git a/doc/gf-formalism.txt b/doc/gf-formalism.txt index fdfcab4d8..3b6963d11 100644 --- a/doc/gf-formalism.txt +++ b/doc/gf-formalism.txt @@ -10,7 +10,7 @@ Last update: %%date(%c) %!postproc(html): #NEW -[gf-logo.gif] +[Logos/gf0.png] //Abstract. This document gives a general description of the// //Grammatical Framework (GF), with comparisons to other grammar// diff --git a/doc/gf-ideas.html b/doc/gf-ideas.html index 90894f599..8119740fa 100644 --- a/doc/gf-ideas.html +++ b/doc/gf-ideas.html @@ -8,7 +8,7 @@

- +

diff --git a/doc/gf-ideas.txt b/doc/gf-ideas.txt index e30879fb3..3f62196b9 100644 --- a/doc/gf-ideas.txt +++ b/doc/gf-ideas.txt @@ -15,7 +15,7 @@ contact: Aarne Ranta (aarne at chalmers dot se) %!postproc(html): #EYELLOW #BECE -[gf-logo.png] +[Logos/gf0.png] #ENCE diff --git a/doc/gf-people.html b/doc/gf-people.html index c5affabc3..690084d3c 100644 --- a/doc/gf-people.html +++ b/doc/gf-people.html @@ -7,7 +7,7 @@
- +

Grammatical Framework: Authors and Acknowledgements

diff --git a/doc/gf-quickstart.html b/doc/gf-quickstart.html index 91aaea659..7a6971953 100644 --- a/doc/gf-quickstart.html +++ b/doc/gf-quickstart.html @@ -5,7 +5,7 @@
- +

Aarne Ranta

diff --git a/doc/gf-tutorial.txt b/doc/gf-tutorial.txt index d6720ef42..8e8b8172a 100644 --- a/doc/gf-tutorial.txt +++ b/doc/gf-tutorial.txt @@ -42,8 +42,8 @@ Version 3.1.2, November 2008 %!preproc(html): #EDITORPNG [quick-editor.png] %!preproc(tex): #EDITORPNG [10lang-small.png] -%!preproc(html): #LOGOPNG [../gf-logo.png] -%!preproc(tex): #LOGOPNG [gf-logo.png] +%!preproc(html): #LOGOPNG [Logos/gf0.png] +%!preproc(tex): #LOGOPNG [Logos/gf0.png] %!postproc(tex): #PARTone "part{Tutorial}" diff --git a/doc/index.html b/doc/index.html index c00dab25c..e4aa842ff 100644 --- a/doc/index.html +++ b/doc/index.html @@ -5,7 +5,7 @@

- + diff --git a/gf-logo.gif b/gf-logo.gif deleted file mode 100644 index 283534cfa..000000000 Binary files a/gf-logo.gif and /dev/null differ diff --git a/index.html b/index.html index 57bb6c3f2..7f7e9d318 100644 --- a/index.html +++ b/index.html @@ -11,7 +11,7 @@

- +

Grammatical Framework

diff --git a/index.txt b/index.txt index 2c2c373a2..09bce76c1 100644 --- a/index.txt +++ b/index.txt @@ -10,7 +10,7 @@ #BECE -[doc/gf-logo.png] +[doc/Logos/gf0.png] =Grammatical Framework=