Documentation

• docs contains user, operator and developer documentation.

• dev contains developer documentation for building on top of Namada.

• spec contains the specifications for Namada.

To build any of these, in its subdirectory:

• make dev-deps installs the dependencies (mdbook and its plugins).

• make serve builds and opens the mdbook.