build details

Show: section status errors & todos local changes recent changes last change in-page changes feedback controls

Second method: local editing+docker

Modified 2018-08-27 by Andrea Censi

This section describes the workflow to edit the documentation for one single book.

In a nutshell:

  • You fork the repos to your Github account.
  • You compile locally using a Docker container (no installation necessary).
  • You contribute by opening a pull request.

Using CircleCI

Modified 2018-09-22 by Andrea Censi

Circle CI makes it easier to check whether there are problems to be fixed.

No questions found. You can ask a question on the website.