diff options
Diffstat (limited to 'doc/concepts/doc-strings.md')
| -rw-r--r-- | doc/concepts/doc-strings.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/concepts/doc-strings.md b/doc/concepts/doc-strings.md index ed4ee84b..22115cee 100644 --- a/doc/concepts/doc-strings.md +++ b/doc/concepts/doc-strings.md @@ -131,6 +131,16 @@ strings describing the targeted in general and `"config_doc"` is a map from (some of) the variables of the `"flexible_config"` to an array of strings describing this parameter. +Configure targets +----------------- + +As configure targets often serve as internal interface to external +export targets (e.g., in order to set a needed configuration), we +support documentation here as well. As configure targets, being +built-in, have a fixed set of fields, a `"doc"` field can be used +for this purpose without conflicts. Again, the `"doc"` field is an +array of strings describing the target in general. + Presentation of the documentation --------------------------------- |