diff --git a/dev/docs/survey.html b/dev/docs/survey.html new file mode 100644 index 0000000000..8f022a68a6 --- /dev/null +++ b/dev/docs/survey.html @@ -0,0 +1,3 @@ + \ No newline at end of file diff --git a/dev/tools/dartdoc.dart b/dev/tools/dartdoc.dart index 7a8ceae784..4bb53d0559 100644 --- a/dev/tools/dartdoc.dart +++ b/dev/tools/dartdoc.dart @@ -95,6 +95,7 @@ dependencies: 'global', 'run', 'dartdoc', '--header', 'styles.html', '--header', 'analytics.html', + '--header', 'survey.html', '--footer-text', 'lib/footer.html', '--exclude', 'temp_doc', '--favicon=favicon.ico',