removed useless file

diff --git a/src/news/docinfo.html b/src/news/docinfo.html
deleted file mode 100644 (file)
index de6e343..0000000
--- a/src/news/docinfo.html
+++ /dev/null
@@ -1,2 +0,0 @@
-<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
-<script src="../nav.js"></script>