1 files changed, 6 insertions, 4 deletions
diff --git a/_nav/index.php b/_nav/index.php
index 6b1277f99..c4064d458 100644
--- a/_nav/index.php
+++ b/_nav/index.php
@@ -7,9 +7,11 @@
     </style>
 </head>
 <body id="navdoc">
-<?php
-include '../lib/php-markdown/markdown.php';
-echo Markdown(file_get_contents('README.md'));
-?>
+    <?php
+    include '../lib/php-markdown/markdown.php';
+    echo Markdown(file_get_contents('README.md'));
+    ?>
+    <script src="/_nav/js/"></script>
+    <p>(this document uses the Javascript snippet)
 </body>
 </html>
 \ No newline at end of file