Command user-config lacks documentation

[andreasabel]

cabal user-config --help gives me:

Display and update the user's global cabal configuration.
...
 -a, --augment=CONFIGLINE       Additional setting to augment the config file
                                (replacing a previous setting if it existed).

I would like to learn more about the syntax for CONFIGLINEs.

The documention (on readthedocs) seems to be lacking:

• an index entry for CONFIGLINE
• an index entry for user-config
• a description of the user-config command (it is not listed under 6. cabal-install commands)
• basically anything on user-config (?)

Or is it just to hard to find?

[andreasabel]

Thanks, I am satisfied!