From e91957b2d500a5af060cb6d63634f97f202251d2 Mon Sep 17 00:00:00 2001 From: Alexander Thomas Date: Thu, 29 Feb 2024 12:49:50 +0000 Subject: [PATCH] [dartdoc] Add header and footer options to dartdoc options Bug: b/323126451 Cq-Include-Trybots: luci.dart.try:dart-sdk-linux-try Change-Id: Iedc6a4d282da3beae7bdcf522c4ae0bab8644a3c Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/354886 Reviewed-by: William Hesse Commit-Queue: Alexander Thomas --- tools/write_dartdoc_options_file.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tools/write_dartdoc_options_file.py b/tools/write_dartdoc_options_file.py index 5f26f93bb62..1f0bd36f18f 100755 --- a/tools/write_dartdoc_options_file.py +++ b/tools/write_dartdoc_options_file.py @@ -78,6 +78,12 @@ def Main(argv): - unknown-file - unknown-macro - unresolved-doc-reference + header: + - ../../../tools/bots/dartdoc_header.html + footer: + - ../../../tools/bots/dartdoc_footer.html + footerText: + - ../../../tools/bots/dartdoc_footer_text.html ''' % revision with open(args.output, 'w') as f: f.write(output)