diff options
author | Ralph Amissah <ralph.amissah@gmail.com> | 2019-09-24 10:21:24 -0400 |
---|---|---|
committer | Ralph Amissah <ralph.amissah@gmail.com> | 2019-10-17 19:07:20 -0400 |
commit | 6886780b440286d452aec35f9b13d090c0646b04 (patch) | |
tree | 2582517529000d19ce8fb0106323d3c59136a832 /org/output_harvest_metadata.org | |
parent | std.zip, drop external zip archive (diff) |
flag --show-summary
Diffstat (limited to 'org/output_harvest_metadata.org')
-rw-r--r-- | org/output_harvest_metadata.org | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org/output_harvest_metadata.org b/org/output_harvest_metadata.org index 199a504..e6d5ab5 100644 --- a/org/output_harvest_metadata.org +++ b/org/output_harvest_metadata.org @@ -29,7 +29,9 @@ template DocReformMetaDocSummary() { <<metadoc_summary_imports>> mixin InternalMarkup; <<metadoc_summary_initialize>> - if (doc_matters.opt.action.verbose) { + if (doc_matters.opt.action.verbose + || doc_matters.opt.action.show_summary + ) { <<meta_metadoc_summary_document>> } } |