(doc) 'debian-wheezy' was left out of the OS options

Just added 'debian-wheezy' to the OS options, it was left out by mistake.

Signed-off-by: Josh Stompro <Stomproj@larl.org>
Signed-off-by: Galen Charlton <gmc@esilibrary.com>

diff --git a/docs/installation/server_installation.txt b/docs/installation/server_installation.txt
index 45e5df5..d974425 100644 (file)
--- a/docs/installation/server_installation.txt
+++ b/docs/installation/server_installation.txt
@@ -96,7 +96,7 @@ add-apt-repository ppa:pitti/postgresql
    retrieve the new packages from the backports repository.
 4. Issue the following commands as the *root* Linux account to install
    prerequisites using the `Makefile.install` prerequisite installer,
-   substituting `debian-squeeze`, `fedora`, `ubuntu-lucid`, or
+   substituting `debian-squeeze`, `debian-wheezy`, `fedora`, `ubuntu-lucid`, or
    `ubuntu-precise` for <osname> below:
 +
 [source, bash]