Skip to content

Publishing the documentation

The documentation located in the /doc folder (and all of the git tree) is automatically published to when changes are merged into the master branch.

This is done as part of the continuous integration, by the job named pages in /.gitlab-ci.yml.

The tool used to generate the HTML pages is mkdocs.

Adding documents to the navigation menu

While all documents in the git tree are published, they need to be manually added to the navigation menu.

To do this, add it to the appropriate subsection under the nav: section of /doc/

Testing changes locally

You'll need to install mkdocs, the theme we use and plugins. You'll need to have Python3 installed.

pip3 install mkdocs mkdocs-material

Run the following command to build the documentation:

ninja doc-html

You can now open /doc-html/index.html in your web browser and continue browsing from there.

Due to the way mkdocs works, all links in the documentation need to be relative and not absolute.

Example: Don't link to /src/univalue/ but do link to ../src/univalue/, if the document you are linking from is in the /doc/ folder.