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.
---
index.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'index.html')
diff --git a/index.html b/index.html
index 57bb6c3f2..7f7e9d318 100644
--- a/index.html
+++ b/index.html
@@ -11,7 +11,7 @@
-
+
Grammatical Framework
--
cgit v1.2.3