diff options
author | Henrik Nord <[email protected]> | 2015-10-27 12:42:52 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2015-10-27 12:42:52 +0100 |
commit | 804ee95d85b50b1789c4506e5c83a6aa1316f33a (patch) | |
tree | a918a4eb81bf480a47b5e86900bdcd44c9612d8d /HOWTO | |
parent | ad1ea07a530429c6c3216435c96f7f8b7bd05cf8 (diff) | |
parent | f4b99c9bc3c1f8a52b35d0731253b5052e695b32 (diff) | |
download | otp-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
Diffstat (limited to 'HOWTO')
-rw-r--r-- | HOWTO/INSTALL.md | 8 |
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 |