mirror of
https://github.com/pgpainless/pgpainless.git
synced 2024-11-22 12:22:06 +01:00
.. | ||
source | ||
make.bat | ||
Makefile | ||
package-lock.json | ||
package.json | ||
README.md | ||
requirements.txt |
User Guide for PGPainless
Build the Guide
$ make {html|epub|latexpdf}
Note: Building requires mermaid-cli
to be installed in this directory:
$ # Move here
$ cd pgpainless/docs
$ npm install @mermaid-js/mermaid-cli
TODO: This is ugly. Install mermaid-cli globally? Perhaps point to user-installed mermaid-cli in conf.py's mermaid_cmd