flexv99 / diagrams-doc

Documentation for the diagrams project

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Build Status

This repository holds all documentation for the diagrams framework, including

and more.

Building

Step 1: Get dependencies

To build the website (which includes the gallery, user manual, and tutorials), you will need:

For example, on Ubuntu, the docutils suite can be installed using

sudo apt-get install python-docutils

(or possibly python3-docutils, depending on what version of Ubuntu you have).

Step 2: Generate the stack.yaml file

Run the command

./generate-stack-yaml.hs

This will generate a stack.yaml file that contains the necessary dependencies to build this project. This includes each Diagrams Github repo, so that you can build the documentation against the latest versions of each project. If new commits get pushed to the Diagrams repos, you may need to re-run ./generate-stack-yaml.hs.

Step 3: Run the builder

Once you have all the dependencies, simply do

stack build
stack exec diagrams-doc -- +RTS -N4 -RTS preview

which will build the user manual and website, and run a web server on port 8000 serving a preview of the website. In place of -N4 you should use -NX where X is the number of cores you have. By default, the build system will use all but one of your available cores; if you wish to set the number to something else, set the DIA_DOC_THREADS environment variable.

Point your browser at localhost:8000 to view it. It works well to leave this invocation of stack exec diagrams-doc -- preview running, and then start another process calling stack exec diagrams-doc -- build repeatedly in a loop. The website will now automatically be rebuilt any time any source files change.

About

Documentation for the diagrams project


Languages

Language:HTML 96.6%Language:CSS 1.0%Language:JavaScript 0.8%Language:Haskell 0.8%Language:TeX 0.8%Language:Shell 0.0%Language:Makefile 0.0%