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.
hallgren
|
Before Width: | Height: | Size: 1.3 KiB After Width: | Height: | Size: 1.3 KiB |
|
Before Width: | Height: | Size: 940 B After Width: | Height: | Size: 940 B |
BIN
doc/Logos/gf0.png
Normal file
|
After Width: | Height: | Size: 5.1 KiB |
1
doc/Logos/gf0.svg
Normal file
@@ -0,0 +1 @@
|
||||
<?xml version="1.0" standalone="no"?>
|
||||
|
After Width: | Height: | Size: 452 B |
BIN
doc/Logos/gf00.png
Normal file
|
After Width: | Height: | Size: 4.9 KiB |
1
doc/Logos/gf00.svg
Normal file
@@ -0,0 +1 @@
|
||||
<?xml version="1.0" standalone="no"?>
|
||||
|
After Width: | Height: | Size: 439 B |
@@ -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 $< $@
|
||||
|
||||
@@ -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>
|
||||
|
||||
@@ -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//
|
||||
|
||||
@@ -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>
|
||||
|
||||
|
||||
@@ -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
|
||||
|
||||
|
||||
|
||||
@@ -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>
|
||||
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
<body bgcolor="#ffffff" text="#000000">
|
||||
|
||||
<center>
|
||||
<img src="gf-logo.gif">
|
||||
<img src="Logos/gf0.png">
|
||||
<p>
|
||||
Aarne Ranta
|
||||
<p>
|
||||
|
||||
@@ -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}"
|
||||
|
||||
@@ -5,7 +5,7 @@
|
||||
<body bgcolor="#ffffff" text="#000000">
|
||||
|
||||
<center>
|
||||
<img src="../gf-logo.gif">
|
||||
<img src="Logos/gf0.png">
|
||||
|
||||
|
||||
|
||||
|
||||
BIN
gf-logo.gif
|
Before Width: | Height: | Size: 1.3 KiB |
@@ -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>
|
||||
|
||||