diff --git a/doc/admin.ps.gz b/doc/admin.ps.gz
new file mode 100644
index 00000000000..2ebbca4567b
Binary files /dev/null and b/doc/admin.ps.gz differ
diff --git a/doc/admin.tar.gz b/doc/admin.tar.gz
new file mode 100644
index 00000000000..0dd9e7fab0f
Binary files /dev/null and b/doc/admin.tar.gz differ
diff --git a/doc/postgres.tar.gz b/doc/postgres.tar.gz
new file mode 100644
index 00000000000..d15bb2584e4
Binary files /dev/null and b/doc/postgres.tar.gz differ
diff --git a/doc/programmer.ps.gz b/doc/programmer.ps.gz
new file mode 100644
index 00000000000..9f0fdc39782
Binary files /dev/null and b/doc/programmer.ps.gz differ
diff --git a/doc/programmer.tar.gz b/doc/programmer.tar.gz
new file mode 100644
index 00000000000..e0a33677ea6
Binary files /dev/null and b/doc/programmer.tar.gz differ
diff --git a/doc/tutorial.ps.gz b/doc/tutorial.ps.gz
new file mode 100644
index 00000000000..596733b228b
Binary files /dev/null and b/doc/tutorial.ps.gz differ
diff --git a/doc/tutorial.tar.gz b/doc/tutorial.tar.gz
new file mode 100644
index 00000000000..b6bf61d7b4a
Binary files /dev/null and b/doc/tutorial.tar.gz differ
diff --git a/doc/user.ps.gz b/doc/user.ps.gz
new file mode 100644
index 00000000000..5ecd50838ac
Binary files /dev/null and b/doc/user.ps.gz differ
diff --git a/doc/user.tar.gz b/doc/user.tar.gz
new file mode 100644
index 00000000000..6d0632e2ce4
Binary files /dev/null and b/doc/user.tar.gz differ