Changeset 11034

Timestamp:
2019-05-21T22:42:45+02:00 (3 years ago)
Author:
nicolasmartin
Message:

Add a simple shell script to build the user guide
It checks Python deps, cleans the previous build and exports the guide in HTML format

File:
1 added

Note: See TracChangeset for help on using the changeset viewer.