Updated build procedure

sudo -H python3 -m pip install -r requirements.txt

```

Before proceeding, **make sure that there are no uncommitted changes in your workdir or your staging area** (in case of doubt, do all the corresponding `add`'s and `commit`'s).

Then run:

```bash

for i in [0-1]*.md; do sed -i "s/\.md\#/\.html\#/g" $i; done

# Build html documentation

make html

# Restore the markdown files to their previous state

git reset --hard

```

The generated HTML output is stored in `_build/html`. You can go to that folder and publish the content locally with a Simple HTTP Server in Python.