diff options
| author | Henrik Nord <[email protected]> | 2015-10-27 12:55:25 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2015-10-27 12:55:25 +0100 |
| commit | 1d6f49bfc5222217579540bd13c47a02e61896a9 (patch) | |
| tree | 235b7e58fdfe6e99886c6367a5a23d7495aca0ec /HOWTO/INSTALL.md | |
| parent | 4b5853e7865d6a1baab39d7345b1b8d0280a4291 (diff) | |
| parent | 7dc9eefa341fbfae0ebc55a88b96a375c611e3a4 (diff) | |
| download | otp-1d6f49bfc5222217579540bd13c47a02e61896a9.tar.gz otp-1d6f49bfc5222217579540bd13c47a02e61896a9.tar.bz2 otp-1d6f49bfc5222217579540bd13c47a02e61896a9.zip | |
Merge branch 'maint'
Diffstat (limited to 'HOWTO/INSTALL.md')
| -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 |