Deliberately added generated documentation to the repo

To see if I can make documentation pages work on github.
This commit is contained in:
Simon Brooke 2019-05-01 14:02:24 +01:00
parent cff4492c03
commit e066c033be
16 changed files with 940 additions and 9 deletions

3
docs/index.html Normal file

File diff suppressed because one or more lines are too long