diff --git a/doc/admin.ps.gz b/doc/admin.ps.gz
deleted file mode 100644
index 31ee49f967..0000000000
Binary files a/doc/admin.ps.gz and /dev/null differ
diff --git a/doc/admin.tar.gz b/doc/admin.tar.gz
deleted file mode 100644
index 4325f3cd6e..0000000000
Binary files a/doc/admin.tar.gz and /dev/null differ
diff --git a/doc/man.tar.gz b/doc/man.tar.gz
deleted file mode 100644
index 69abfd52dd..0000000000
Binary files a/doc/man.tar.gz and /dev/null differ
diff --git a/doc/postgres.tar.gz b/doc/postgres.tar.gz
deleted file mode 100644
index a24e3aae45..0000000000
Binary files a/doc/postgres.tar.gz and /dev/null differ
diff --git a/doc/programmer.ps.gz b/doc/programmer.ps.gz
deleted file mode 100644
index 3967e0de69..0000000000
Binary files a/doc/programmer.ps.gz and /dev/null differ
diff --git a/doc/programmer.tar.gz b/doc/programmer.tar.gz
deleted file mode 100644
index 1903e69af4..0000000000
Binary files a/doc/programmer.tar.gz and /dev/null differ
diff --git a/doc/tutorial.ps.gz b/doc/tutorial.ps.gz
deleted file mode 100644
index d2185a830a..0000000000
Binary files a/doc/tutorial.ps.gz and /dev/null differ
diff --git a/doc/tutorial.tar.gz b/doc/tutorial.tar.gz
deleted file mode 100644
index f37cdf5b55..0000000000
Binary files a/doc/tutorial.tar.gz and /dev/null differ
diff --git a/doc/user.ps.gz b/doc/user.ps.gz
deleted file mode 100644
index 00ec51e603..0000000000
Binary files a/doc/user.ps.gz and /dev/null differ
diff --git a/doc/user.tar.gz b/doc/user.tar.gz
deleted file mode 100644
index d90af1c69e..0000000000
Binary files a/doc/user.tar.gz and /dev/null differ