| Index: dart/pkg/dartdoc/bin/dartdoc.dart
|
| diff --git a/dart/pkg/dartdoc/bin/dartdoc.dart b/dart/pkg/dartdoc/bin/dartdoc.dart
|
| index 662b62309286b408c5eff3c0a724735fc469d346..f74df7622b178e5d6511ee013d392ba13388ae30 100644
|
| --- a/dart/pkg/dartdoc/bin/dartdoc.dart
|
| +++ b/dart/pkg/dartdoc/bin/dartdoc.dart
|
| @@ -79,6 +79,11 @@ main() {
|
| dartdoc.linkToApi = true;
|
| break;
|
|
|
| + // Hack to accept, but not use, colors option.
|
| + // This allows shared bash script to run dartdoc.
|
| + case '--enable-diagnostic-colors':
|
| + break;
|
| +
|
| default:
|
| if (arg.startsWith('--out=')) {
|
| dartdoc.outputDir =
|
|
|