aboutsummaryrefslogtreecommitdiff
path: root/doc/manual
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/images/callouts/1.gifbin889 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/10.gifbin929 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/11.gifbin202 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/12.gifbin210 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/13.gifbin209 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/14.gifbin205 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/15.gifbin210 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/2.gifbin907 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/3.gifbin914 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/4.gifbin907 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/5.gifbin916 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/6.gifbin218 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/7.gifbin907 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/8.gifbin918 -> 0 bytes
-rw-r--r--doc/manual/images/callouts/9.gifbin923 -> 0 bytes
-rw-r--r--doc/manual/local.mk4
16 files changed, 1 insertions, 3 deletions
diff --git a/doc/manual/images/callouts/1.gif b/doc/manual/images/callouts/1.gif
deleted file mode 100644
index 9e7a87f75..000000000
--- a/doc/manual/images/callouts/1.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/10.gif b/doc/manual/images/callouts/10.gif
deleted file mode 100644
index e80f7f8e6..000000000
--- a/doc/manual/images/callouts/10.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/11.gif b/doc/manual/images/callouts/11.gif
deleted file mode 100644
index 67f91a239..000000000
--- a/doc/manual/images/callouts/11.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/12.gif b/doc/manual/images/callouts/12.gif
deleted file mode 100644
index 54c4b42f1..000000000
--- a/doc/manual/images/callouts/12.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/13.gif b/doc/manual/images/callouts/13.gif
deleted file mode 100644
index dd5d7d9b6..000000000
--- a/doc/manual/images/callouts/13.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/14.gif b/doc/manual/images/callouts/14.gif
deleted file mode 100644
index 3d7a952a3..000000000
--- a/doc/manual/images/callouts/14.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/15.gif b/doc/manual/images/callouts/15.gif
deleted file mode 100644
index 1c9183d5b..000000000
--- a/doc/manual/images/callouts/15.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/2.gif b/doc/manual/images/callouts/2.gif
deleted file mode 100644
index 94d42a30f..000000000
--- a/doc/manual/images/callouts/2.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/3.gif b/doc/manual/images/callouts/3.gif
deleted file mode 100644
index dd3541a1b..000000000
--- a/doc/manual/images/callouts/3.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/4.gif b/doc/manual/images/callouts/4.gif
deleted file mode 100644
index 4bcbf7e31..000000000
--- a/doc/manual/images/callouts/4.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/5.gif b/doc/manual/images/callouts/5.gif
deleted file mode 100644
index 1c62b4f92..000000000
--- a/doc/manual/images/callouts/5.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/6.gif b/doc/manual/images/callouts/6.gif
deleted file mode 100644
index 23bc5555d..000000000
--- a/doc/manual/images/callouts/6.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/7.gif b/doc/manual/images/callouts/7.gif
deleted file mode 100644
index e55ce8958..000000000
--- a/doc/manual/images/callouts/7.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/8.gif b/doc/manual/images/callouts/8.gif
deleted file mode 100644
index 49375e09f..000000000
--- a/doc/manual/images/callouts/8.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/images/callouts/9.gif b/doc/manual/images/callouts/9.gif
deleted file mode 100644
index da12a4fe2..000000000
--- a/doc/manual/images/callouts/9.gif
+++ /dev/null
Binary files differ
diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index b4e7f35d5..ce05c6234 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -7,7 +7,7 @@ XSLTPROC = $(xsltproc) --nonet $(xmlflags) \
--param xref.with.number.and.title 1 \
--param toc.section.depth 3 \
--param admon.style \'\' \
- --param callout.graphics.extension \'.gif\' \
+ --param callout.graphics 0 \
--param contrib.inline.enabled 0 \
--stringparam generate.toc "book toc" \
--param keep.relative.image.uris 0
@@ -69,8 +69,6 @@ $(foreach file, $(d)/manual.html, $(eval $(call install-data-in, $(file), $(docd
$(foreach file, $(wildcard $(d)/figures/*.png), $(eval $(call install-data-in, $(file), $(docdir)/manual/figures)))
-$(foreach file, $(wildcard $(d)/images/callouts/*.gif), $(eval $(call install-data-in, $(file), $(docdir)/manual/images/callouts)))
-
$(eval $(call install-symlink, manual.html, $(docdir)/manual/index.html))