diff --git a/README.md b/README.md index bbfbed393d395dfd38499816845af098bd6ddbf4..3fdb8b3fc8cb17c5aaf8123b906a8bf82528482e 100644 --- a/README.md +++ b/README.md @@ -116,12 +116,16 @@ port install py35-sphinx apt-get install python-sphinx ``` -Once the tool installed, just open a terminal, move in the [documentation]() directory and run (as user): +Once the tool is installed, open a terminal, move in the [documentation]() directory and run (as user): ```bash +# If necessary, clean previous build +make clean make html ``` +After the compilation process, the resulting files are located in `_build/html/`. + ## Getting started **NOTE: The texts must be encoded in UTF-8. There is so far no support for UTF-16-(LE|BE) or any other encoding.**