add deprecation notice to the old Manual

bobzhang · bobzhang · commit c607ce6da13e · 2019-08-12T10:46:40.000+08:00
diff --git a/docs/Manual.html b/docs/Manual.html
@@ -485,7 +485,7 @@
 </head>
 <body class="article toc2 toc-left">
 <div id="header">
-<h1><a href="https://github.com/bucklescript/bucklescript">BuckleScript</a> User Manual</h1>
+<h1>BuckleScript User Manual (Deprecated, please go <a href=http://bucklescript.github.io/docs/en/installation> here </a>)</h1>
 <div class="details">
 <span id="author" class="author">Hongbo Zhang</span><br>
 <span id="revnumber">version 2.1.0</span>
