From dd50cf4828aa743ea71648f5b3826a9b255e59a2 Mon Sep 17 00:00:00 2001 From: Josh Stompro Date: Wed, 21 May 2014 08:37:58 -0500 Subject: [PATCH] (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 Signed-off-by: Galen Charlton --- docs/installation/server_installation.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/installation/server_installation.txt b/docs/installation/server_installation.txt index 2533f96bcb..0ac8d79eac 100644 --- 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 below: + [source, bash] -- 2.11.0