From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 4 Feb 2009 05:33:54 +0000 (+0900)
Subject: Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv/git/pspp
X-Git-Tag: v0.7.2~1
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b31ddc1183fe78119fe7c8d9f8a19204fb23aea;hp=b83d698671b16725b7f3baa0c459f9709fbc0f78;p=pspp-builds.git

Merge branch 'master' of ssh://jmd@git.sv.gnu.org/srv/git/pspp
---

diff --git a/INSTALL b/INSTALL
index e687c551..dc673c44 100644
--- a/INSTALL
+++ b/INSTALL
@@ -152,8 +152,9 @@ release.
 
   4. Type `make install' to install the programs and any data files
      and documentation.  Ordinarily you will need root permissions to
-     do this; if you cannot get root permissions, see "Installation
-     Names", below.
+     do this.  The "su" and "sudo" commands are common ways to obtain
+     root permissions.  If you cannot get root permissions, see
+     "Installation Names", below.
 
   5. You can remove the program binaries and object files from the
      source code directory by typing `make clean'.  To also remove the