aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHenrik Nord <[email protected]>2015-10-27 12:42:52 +0100
committerHenrik Nord <[email protected]>2015-10-27 12:42:52 +0100
commit804ee95d85b50b1789c4506e5c83a6aa1316f33a (patch)
treea918a4eb81bf480a47b5e86900bdcd44c9612d8d
parentad1ea07a530429c6c3216435c96f7f8b7bd05cf8 (diff)
parentf4b99c9bc3c1f8a52b35d0731253b5052e695b32 (diff)
downloadotp-804ee95d85b50b1789c4506e5c83a6aa1316f33a.tar.gz
otp-804ee95d85b50b1789c4506e5c83a6aa1316f33a.tar.bz2
otp-804ee95d85b50b1789c4506e5c83a6aa1316f33a.zip
Merge branch 'derek121/docs_fop_details' into maint
* derek121/docs_fop_details: Add details on the FOP formatter
-rw-r--r--HOWTO/INSTALL.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/HOWTO/INSTALL.md b/HOWTO/INSTALL.md
index c53cfdc6ec..51e8648a4a 100644
--- a/HOWTO/INSTALL.md
+++ b/HOWTO/INSTALL.md
@@ -210,6 +210,14 @@ the `$PATH`.
$ export PATH=$ERL_TOP/bin:$PATH # Assuming bash/sh
+For the FOP print formatter, two steps must be taken:
+
+* Adding the location of your installation of `fop` in `$FOP_HOME`.
+
+ $ export FOP_HOME=/path/to/fop/dir # Assuming bash/sh
+
+* Adding the `fop` script (in `$FOP_HOME`) to your `$PATH`, either by adding `$FOP_HOME` to `$PATH`, or by copying the `fop` script to a directory already in your `$PATH`.
+
Build the documentation.
$ make docs