add nav script

[www.git] / src / psensor / docinfo.html

diff --git a/src/psensor/docinfo.html b/src/psensor/docinfo.html
new file mode 100644 (file)
index 0000000..8afb5ff
--- /dev/null
+++ b/src/psensor/docinfo.html
@@ -0,0 +1,2 @@
+<script src="nav.js"></script>
+