10 files changed, 0 insertions, 0 deletions

diff --git a/doc/icons/contents.gif b/doc/icons/contents.gif
new file mode 100644
index 0000000..7b3c904
--- /dev/null
+++ b/doc/icons/contents.gif
diff --git a/doc/icons/index.gif b/doc/icons/index.gif
new file mode 100644
index 0000000..b9b3108
--- /dev/null
+++ b/doc/icons/index.gif
diff --git a/doc/icons/next.gif b/doc/icons/next.gif
new file mode 100644
index 0000000..7a2dbe9
--- /dev/null
+++ b/doc/icons/next.gif
diff --git a/doc/icons/next_gr.gif b/doc/icons/next_gr.gif
new file mode 100644
index 0000000..1416b1c
--- /dev/null
+++ b/doc/icons/next_gr.gif
diff --git a/doc/icons/previous.gif b/doc/icons/previous.gif
new file mode 100644
index 0000000..aef90f1
--- /dev/null
+++ b/doc/icons/previous.gif
diff --git a/doc/icons/previous_gr.gif b/doc/icons/previous_gr.gif
new file mode 100644
index 0000000..c6acaab
--- /dev/null
+++ b/doc/icons/previous_gr.gif
diff --git a/doc/icons/references.gif b/doc/icons/references.gif
new file mode 100644
index 0000000..68c6331
--- /dev/null
+++ b/doc/icons/references.gif
diff --git a/doc/icons/references_gr.gif b/doc/icons/references_gr.gif
new file mode 100644
index 0000000..682548c
--- /dev/null
+++ b/doc/icons/references_gr.gif
diff --git a/doc/icons/up.gif b/doc/icons/up.gif
new file mode 100644
index 0000000..3d1aebf
--- /dev/null
+++ b/doc/icons/up.gif
diff --git a/doc/icons/up_gr.gif b/doc/icons/up_gr.gif
new file mode 100644
index 0000000..a8b463a
--- /dev/null
+++ b/doc/icons/up_gr.gif