Description: Remove link to external js lib, not needed as used for ie browsers
Author: Alex Mestiashvili <amestia@rsh2.donotuse.de>
Forwarded: not-needed
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -20,9 +20,6 @@
     .display.math{display: block; text-align: center; margin: 0.5rem auto;}
   </style>
   <link rel="stylesheet" href="doc/style.css" />
-  <!--[if lt IE 9]>
-    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
-  <![endif]-->
 </head>
 <body>
 <h1>Table of Contents</h1>
