Commit d54a1580 authored by Laurent Claustre's avatar Laurent Claustre

doc fix, cmake command line options was wrong

parent 6b2456a4
Pipeline #9421 passed with stages
in 9 minutes and 36 seconds