diff --git a/doc/common/dvi.gif b/doc/common/dvi.gif
new file mode 100644
index 0000000000..163a5d52b5
Binary files /dev/null and b/doc/common/dvi.gif differ
diff --git a/doc/common/pdf.gif b/doc/common/pdf.gif
new file mode 100644
index 0000000000..c88fd777c4
Binary files /dev/null and b/doc/common/pdf.gif differ
diff --git a/doc/common/pdf1.gif b/doc/common/pdf1.gif
new file mode 100644
index 0000000000..784fe2ac8c
Binary files /dev/null and b/doc/common/pdf1.gif differ
diff --git a/doc/common/ps.gif b/doc/common/ps.gif
new file mode 100644
index 0000000000..0f565bc1db
Binary files /dev/null and b/doc/common/ps.gif differ