18 files changed, 22 insertions, 11 deletions
diff --git a/doc/gf-logo.gif b/doc/Logos/gf-logo.gif
index 283534cfa..283534cfa 100644
--- a/doc/gf-logo.gif
+++ b/doc/Logos/gf-logo.gif
diff --git a/doc/gf-logo.png b/doc/Logos/gf-logo.png
index bda5f4544..bda5f4544 100644
--- a/doc/gf-logo.png
+++ b/doc/Logos/gf-logo.png
diff --git a/doc/Logos/gf0.png b/doc/Logos/gf0.png
new file mode 100644
index 000000000..e57403314
--- /dev/null
+++ b/doc/Logos/gf0.png
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 @@
+<?xml version="1.0" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg width="100%" height="100%" version="1.1"
+xmlns="http://www.w3.org/2000/svg">
+<desc>Grammatical Framework Logo</desc>
+<path d="M157.5,225.5 v-51 h59 m-59,0 v-53 h114 a110.5,105 0 1,1 -24,-66"
+        fill="none" stroke="red" stroke-width="4"
+        stroke-linejoin="round" stroke-linecap="round"/>
+</svg> 
+\ 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
--- /dev/null
+++ b/doc/Logos/gf00.png
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 @@
+<?xml version="1.0" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg width="100%" height="100%" version="1.1"
+xmlns="http://www.w3.org/2000/svg">
+<desc>Grammatical Framework Logo</desc>
+<path d="M200,25 a120,100 0 1,0 51,81 h-120 v100 m0,-50 h50"
+        fill="none" stroke="red" stroke-width="4"
+        stroke-linejoin="round" stroke-linecap="round"/>
+</svg> 
+\ 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
 <HR NOSHADE SIZE=1>
 <P></P>
 <P>
-<IMG ALIGN="middle" SRC="gf-logo.gif" BORDER="0" ALT="">
+<IMG ALIGN="middle" SRC="Logos/gf0.png" BORDER="0" ALT="">
 </P>
 <P>
 <I>Abstract. This document gives a general description of the</I>
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 <!-- 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 @@
 
 <P>
 <center>
-<IMG ALIGN="middle" SRC="gf-logo.png" BORDER="0" ALT="">
+<IMG ALIGN="middle" SRC="Logos/gf0.png" BORDER="0" ALT="">
 </center>
 </P>
 
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 </i></font>
 
 #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 @@
 <body bgcolor="#FFFFFF" text="#000000" >
 
 <center>
-<IMG SRC="../gf-logo.gif">
+<IMG SRC="Logos/gf0.png">
 
 <h1>Grammatical Framework: Authors and Acknowledgements</h1>
 
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 @@
 <body bgcolor="#ffffff" text="#000000">
 
 <center>
-<img src="gf-logo.gif">
+<img src="Logos/gf0.png">
 <p>
 Aarne Ranta
 <p>
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 @@
 <body bgcolor="#ffffff" text="#000000">
 
 <center>
-<img src="../gf-logo.gif">
+<img src="Logos/gf0.png">
 
 
 
diff --git a/gf-logo.gif b/gf-logo.gif
deleted file mode 100644
index 283534cfa..000000000
--- a/gf-logo.gif
+++ /dev/null
diff --git a/index.html b/index.html
index 57bb6c3f2..7f7e9d318 100644
--- a/index.html
+++ b/index.html
@@ -11,7 +11,7 @@
 <center>
 </P>
 <P>
-<IMG ALIGN="middle" SRC="doc/gf-logo.png" BORDER="0" ALT="">
+<IMG ALIGN="middle" SRC="doc/Logos/gf0.png" BORDER="0" ALT="">
 </P>
 <H1>Grammatical Framework</H1>
 <P>
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=