From c284f09d512f9b0d3032c0dc71ee4fa0e5308e55 Mon Sep 17 00:00:00 2001
From: Alex Shinn <ashinn@users.noreply.github.com>
Date: Wed, 2 Jul 2014 22:57:29 +0900
Subject: [PATCH] Adding explanation of install PREFIX to manual.

---
 doc/chibi.scrbl | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/chibi.scrbl b/doc/chibi.scrbl
index 5ca9d123..43e990ff 100755
--- a/doc/chibi.scrbl
+++ b/doc/chibi.scrbl
@@ -82,6 +82,14 @@ chibi-scheme.  Then you can make the static executable with:
 make -B chibi-scheme-static SEXP_USE_DL=0 CPPFLAGS=-DSEXP_USE_STATIC_LIBS
 }
 
+By default files are installed in /usr/local.  You can optionally
+specify a PREFIX for the installation directory:
+
+\command{
+make PREFIX=/path/to/install/
+sudo make PREFIX=/path/to/install/ install
+}
+
 \subsection{Compile-Time Options}
 
 The include file \ccode{"chibi/features.h"} describes a number of