diff --git a/doc/images/Makefile.am b/doc/images/Makefile.am
new file mode 100644
index 0000000000..ba276c7e60
--- /dev/null
+++ b/doc/images/Makefile.am
@@ -0,0 +1,14 @@
+## $Id$
+
+AUTOMAKE_OPTIONS = foreign
+
+html_imagesdir = $(htmldir)/images
+
+HTML_IMAGES = dir-arrow.gif dvi.gif missing-arrow.gif next-arrow.gif \
+oaronly.jpg pdf.gif pdf1.gif prev-arrow.gif ps.gif up-arrow.gif
+
+if USE_HTML
+html_images_DATA  = $(HTML_IMAGES)
+endif
+
+EXTRA_DIST = $(HTML_IMAGES)
diff --git a/doc/images/dir-arrow.gif b/doc/images/dir-arrow.gif
new file mode 100644
index 0000000000..5d661527cc
Binary files /dev/null and b/doc/images/dir-arrow.gif differ
diff --git a/doc/images/dvi.gif b/doc/images/dvi.gif
new file mode 100644
index 0000000000..163a5d52b5
Binary files /dev/null and b/doc/images/dvi.gif differ
diff --git a/doc/images/missing-arrow.gif b/doc/images/missing-arrow.gif
new file mode 100644
index 0000000000..c686c80b5f
Binary files /dev/null and b/doc/images/missing-arrow.gif differ
diff --git a/doc/images/next-arrow.gif b/doc/images/next-arrow.gif
new file mode 100644
index 0000000000..57f5cddb81
Binary files /dev/null and b/doc/images/next-arrow.gif differ
diff --git a/doc/images/oaronly.jpg b/doc/images/oaronly.jpg
new file mode 100644
index 0000000000..c87c151404
Binary files /dev/null and b/doc/images/oaronly.jpg differ
diff --git a/doc/images/pdf.gif b/doc/images/pdf.gif
new file mode 100644
index 0000000000..c88fd777c4
Binary files /dev/null and b/doc/images/pdf.gif differ
diff --git a/doc/images/pdf1.gif b/doc/images/pdf1.gif
new file mode 100644
index 0000000000..784fe2ac8c
Binary files /dev/null and b/doc/images/pdf1.gif differ
diff --git a/doc/images/prev-arrow.gif b/doc/images/prev-arrow.gif
new file mode 100644
index 0000000000..350785be10
Binary files /dev/null and b/doc/images/prev-arrow.gif differ
diff --git a/doc/images/ps.gif b/doc/images/ps.gif
new file mode 100644
index 0000000000..0f565bc1db
Binary files /dev/null and b/doc/images/ps.gif differ
diff --git a/doc/images/up-arrow.gif b/doc/images/up-arrow.gif
new file mode 100644
index 0000000000..82aa8ccc68
Binary files /dev/null and b/doc/images/up-arrow.gif differ