Ref Man for my contribution

I'll be happy if this could be proofread before I merge ...
This is wrong.  There are some valid options which are also considered subdirectories.  For example, `-no-native-compiler`.  Is this a bug for the bug tracker?