From 3b00599d90ff66e2b889f5f38003b080f5c4c27d Mon Sep 17 00:00:00 2001
From: Ludovic Court`es
Date: Tue, 29 Aug 2006 16:14:18 +0000
Subject: Doc: Converted GIF images to PNG.

git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-49
---
 doc/img/Makefile.am    |   2 +-
 doc/img/bsd.gif        | Bin 4226 -> 0 bytes
 doc/img/bsd.png        | Bin 0 -> 4162 bytes
 doc/img/lambda.gif     | Bin 169 -> 0 bytes
 doc/img/lambda.png     | Bin 0 -> 222 bytes
 doc/img/linux.gif      | Bin 1972 -> 0 bytes
 doc/img/linux.png      | Bin 0 -> 1928 bytes
 doc/user/src/api14.skb |   2 +-
 doc/user/src/api16.skb |  10 +++++-----
 9 files changed, 7 insertions(+), 7 deletions(-)
 delete mode 100644 doc/img/bsd.gif
 create mode 100644 doc/img/bsd.png
 delete mode 100644 doc/img/lambda.gif
 create mode 100644 doc/img/lambda.png
 delete mode 100644 doc/img/linux.gif
 create mode 100644 doc/img/linux.png

diff --git a/doc/img/Makefile.am b/doc/img/Makefile.am
index 48318ea..0be3236 100644
--- a/doc/img/Makefile.am
+++ b/doc/img/Makefile.am
@@ -1,3 +1,3 @@
-EXTRA_DIST = bsd.gif lambda.gif linux.gif
+EXTRA_DIST = bsd.png lambda.png linux.png
 
 ## arch-tag: 0008e69a-4745-46d8-9da4-2173db33965d
diff --git a/doc/img/bsd.gif b/doc/img/bsd.gif
deleted file mode 100644
index e406ba6..0000000
Binary files a/doc/img/bsd.gif and /dev/null differ
diff --git a/doc/img/bsd.png b/doc/img/bsd.png
new file mode 100644
index 0000000..eb2e4e2
Binary files /dev/null and b/doc/img/bsd.png differ
diff --git a/doc/img/lambda.gif b/doc/img/lambda.gif
deleted file mode 100644
index 9c46b7d..0000000
Binary files a/doc/img/lambda.gif and /dev/null differ
diff --git a/doc/img/lambda.png b/doc/img/lambda.png
new file mode 100644
index 0000000..5673291
Binary files /dev/null and b/doc/img/lambda.png differ
diff --git a/doc/img/linux.gif b/doc/img/linux.gif
deleted file mode 100644
index fa764bd..0000000
Binary files a/doc/img/linux.gif and /dev/null differ
diff --git a/doc/img/linux.png b/doc/img/linux.png
new file mode 100644
index 0000000..fd121fb
Binary files /dev/null and b/doc/img/linux.png differ
diff --git a/doc/user/src/api14.skb b/doc/user/src/api14.skb
index a3ede40..e9dd370 100644
--- a/doc/user/src/api14.skb
+++ b/doc/user/src/api14.skb
@@ -6,4 +6,4 @@
 
 (center 
  (figure :legend "The great Penguin" 
-	 (image :file "linux.gif")))
+	 (image :file "linux.png")))
diff --git a/doc/user/src/api16.skb b/doc/user/src/api16.skb
index a9d5705..6be4283 100644
--- a/doc/user/src/api16.skb
+++ b/doc/user/src/api16.skb
@@ -1,5 +1,5 @@
-(image :file "linux.gif" "A first image")
-(image :height 50 :file "linux.gif" "A smaller one")
-(image :file "bsd.gif" "A second image")
-(image :width 50 :file "bsd.gif")
-(image :width 200 :height 40 :file "bsd.gif")
+(image :file "linux.png" "A first image")
+(image :height 50 :file "linux.png" "A smaller one")
+(image :file "bsd.png" "A second image")
+(image :width 50 :file "bsd.png")
+(image :width 200 :height 40 :file "bsd.png")
-- 
cgit v1.2.3