aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Court`es2006-08-29 16:14:18 +0000
committerLudovic Court`es2006-08-29 16:14:18 +0000
commit3b00599d90ff66e2b889f5f38003b080f5c4c27d (patch)
tree59265be84a4852ed9b6b232453f3f73895da60ef
parent16185de44e3253dfad40d3b8c994479e1187812f (diff)
downloadskribilo-3b00599d90ff66e2b889f5f38003b080f5c4c27d.tar.gz
skribilo-3b00599d90ff66e2b889f5f38003b080f5c4c27d.tar.lz
skribilo-3b00599d90ff66e2b889f5f38003b080f5c4c27d.zip
Doc: Converted GIF images to PNG.
git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-49
-rw-r--r--doc/img/Makefile.am2
-rw-r--r--doc/img/bsd.gifbin4226 -> 0 bytes
-rw-r--r--doc/img/bsd.pngbin0 -> 4162 bytes
-rw-r--r--doc/img/lambda.gifbin169 -> 0 bytes
-rw-r--r--doc/img/lambda.pngbin0 -> 222 bytes
-rw-r--r--doc/img/linux.gifbin1972 -> 0 bytes
-rw-r--r--doc/img/linux.pngbin0 -> 1928 bytes
-rw-r--r--doc/user/src/api14.skb2
-rw-r--r--doc/user/src/api16.skb10
9 files changed, 7 insertions, 7 deletions
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
--- a/doc/img/bsd.gif
+++ /dev/null
Binary files differ
diff --git a/doc/img/bsd.png b/doc/img/bsd.png
new file mode 100644
index 0000000..eb2e4e2
--- /dev/null
+++ b/doc/img/bsd.png
Binary files differ
diff --git a/doc/img/lambda.gif b/doc/img/lambda.gif
deleted file mode 100644
index 9c46b7d..0000000
--- a/doc/img/lambda.gif
+++ /dev/null
Binary files differ
diff --git a/doc/img/lambda.png b/doc/img/lambda.png
new file mode 100644
index 0000000..5673291
--- /dev/null
+++ b/doc/img/lambda.png
Binary files differ
diff --git a/doc/img/linux.gif b/doc/img/linux.gif
deleted file mode 100644
index fa764bd..0000000
--- a/doc/img/linux.gif
+++ /dev/null
Binary files differ
diff --git a/doc/img/linux.png b/doc/img/linux.png
new file mode 100644
index 0000000..fd121fb
--- /dev/null
+++ b/doc/img/linux.png
Binary files 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")