diff options
Diffstat (limited to 'doc/api/_toc.markdown')
| -rw-r--r-- | doc/api/_toc.markdown | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/api/_toc.markdown b/doc/api/_toc.markdown index baa0de2e2b..bc880f88f2 100644 --- a/doc/api/_toc.markdown +++ b/doc/api/_toc.markdown @@ -1,3 +1,5 @@ +@// NB(chrisdickinson): if you move this file, be sure to update tools/doc/html.js to +@// point at the new location. * [About these Docs](documentation.html) * [Synopsis](synopsis.html) * [Assertion Testing](assert.html) |