Module Cmd.EnvSource
Environment variable and their information.
Environment variables
Environment variable information
val info :
?deprecated:string ->
?docs:Manpage.section_name ->
?doc:string ->
var ->
infoinfo ~docs ~doc var describes an environment variable var such that:
docis the man page information of the environment variable, defaults to"See option $(opt).".docsis the title of the man page section in which the environment variable will be listed, it defaults toCmdliner.Manpage.s_environment.deprecated, if specified the environment variable is deprecated. Use of the variable warns on depstderrThis message which should be a capitalized sentence is preprended todocand output on standard error when the environment variable ends up being used.
In doc and deprecated the documentation markup language can be used with following variables:
$(opt), if any the option name of the argument the variable is looked up for.$(env), the value ofvar.- The variables mentioned in the doc string of
Cmd.info.