diff options
| -rw-r--r-- | doc/img/Makefile.am | 2 | ||||
| -rw-r--r-- | doc/img/bsd.gif | bin | 4226 -> 0 bytes | |||
| -rw-r--r-- | doc/img/bsd.png | bin | 0 -> 4162 bytes | |||
| -rw-r--r-- | doc/img/lambda.gif | bin | 169 -> 0 bytes | |||
| -rw-r--r-- | doc/img/lambda.png | bin | 0 -> 222 bytes | |||
| -rw-r--r-- | doc/img/linux.gif | bin | 1972 -> 0 bytes | |||
| -rw-r--r-- | doc/img/linux.png | bin | 0 -> 1928 bytes | |||
| -rw-r--r-- | doc/user/src/api14.skb | 2 | ||||
| -rw-r--r-- | doc/user/src/api16.skb | 10 |
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 Binary files differdeleted file mode 100644 index e406ba6..0000000 --- a/doc/img/bsd.gif +++ /dev/null diff --git a/doc/img/bsd.png b/doc/img/bsd.png Binary files differnew file mode 100644 index 0000000..eb2e4e2 --- /dev/null +++ b/doc/img/bsd.png diff --git a/doc/img/lambda.gif b/doc/img/lambda.gif Binary files differdeleted file mode 100644 index 9c46b7d..0000000 --- a/doc/img/lambda.gif +++ /dev/null diff --git a/doc/img/lambda.png b/doc/img/lambda.png Binary files differnew file mode 100644 index 0000000..5673291 --- /dev/null +++ b/doc/img/lambda.png diff --git a/doc/img/linux.gif b/doc/img/linux.gif Binary files differdeleted file mode 100644 index fa764bd..0000000 --- a/doc/img/linux.gif +++ /dev/null diff --git a/doc/img/linux.png b/doc/img/linux.png Binary files differnew file mode 100644 index 0000000..fd121fb --- /dev/null +++ b/doc/img/linux.png 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") |
