diff options
Diffstat (limited to '_nav/index.php')
-rw-r--r-- | _nav/index.php | 10 |
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 |