diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-04-27 11:56:52 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-04-28 12:10:36 +0200 |
| commit | f8620758aad1e3b61bc2d10a913bfd07c6d21df6 (patch) | |
| tree | 81709f1b70c7c802338fafdf34282f16035f4a03 /.gitignore | |
| parent | da0dbf36cbf5aebe559af08d3b9a83b880af1673 (diff) | |
display documentation on manifest files separately
it's probably better not to show the manifest file documentation in the
command-specific pages, because these are implementation details that are not really practically useful.
this means no additional hassle for building the manual, but clutters
the table of contents a bit.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions