Documentation/index.html.in

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
   2 <!-- header_tag -->
   3 <META HTTP-EQUIV="refresh" content="0;URL=web/index.html">
   4 <html><body>
   5 Redirecting to the documentation index...
   6 </body></html>