Reorder compilation options in help and manpage; explain the difference...

Reorder compilation options in help and manpage; explain the difference between compilation options, project options, and main module options
1 job for distinguish-different-compilation-options in 28 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #119368
linux

00:00:28