This repository is for the user manual of RedPen.
We download and build the manual with the following steps.
$ cd username
$ git clone git@github.com:redpen-cc/redpen-doc
$ cd redpen-doc $ make html