Fix compilation + doc switch.
Fix compilation + doc switch
Scribo compiles with GCC 9
Scribo in now compiling with GCC 9 with no error.
Doc configure switch
Documentation build can be disabled with the switch:
This will create a new commit in order to revert the existing changes.