From d286fbecb77f94624e9663c20bdf6fd001d44a99 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 45e5df5aa9..d9744258e3 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.43.2