Merge branch 'fix-compilation-gcc9' into 'master'
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: ``` ./configure --enable-doc=no ``` See merge request !3
Showing with 26 additions and 10 deletions