fix build script to handle documentation correctly

- make doc target was disabled by default.
- update documentation.
This commit is contained in:
Johann Dreo 2020-11-01 19:23:48 +01:00
commit ad8fc14cf5
16 changed files with 177 additions and 76 deletions

File diff suppressed because one or more lines are too long