| Index: pkg/dartdoc/dartdoc.dart
|
| ===================================================================
|
| --- pkg/dartdoc/dartdoc.dart (revision 11633)
|
| +++ pkg/dartdoc/dartdoc.dart (working copy)
|
| @@ -36,14 +36,14 @@
|
| // TODO(johnniwinther): Note that [IN_SDK] gets initialized to true when this
|
| // file is modified by the SDK deployment script. If you change, be sure to test
|
| // that dartdoc still works when run from the built SDK directory.
|
| -final bool IN_SDK = false;
|
| +const bool IN_SDK = false;
|
|
|
| /**
|
| * Generates completely static HTML containing everything you need to browse
|
| * the docs. The only client side behavior is trivial stuff like syntax
|
| * highlighting code.
|
| */
|
| -final MODE_STATIC = 0;
|
| +const MODE_STATIC = 0;
|
|
|
| /**
|
| * Generated docs do not include baked HTML navigation. Instead, a single
|
| @@ -57,9 +57,9 @@
|
| * preview docs locally, you will need to enable requesting file:// links in
|
| * your browser or run a little local server like `python -m SimpleHTTPServer`.
|
| */
|
| -final MODE_LIVE_NAV = 1;
|
| +const MODE_LIVE_NAV = 1;
|
|
|
| -final API_LOCATION = 'http://api.dartlang.org/';
|
| +const API_LOCATION = 'http://api.dartlang.org/';
|
|
|
| /**
|
| * Run this from the `pkg/dartdoc` directory.
|
|
|