Simon

Results 3 issues of Simon

Fixed code in make_docs shell script so it will run (at least on Debian 9). Added ndocs-project menu categories for new functions (like disposables or optics). Also some minor fixes...

Tools

When merged this pull request will: - Fix error in local docker build ``` $ git clone https://github.com/jpweber/cole.git $ cd cole $ docker build -t cole . ---------- SNIP --------------...