<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html> <head> <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/> <meta HTTP-EQUIV="REFRESH" content="0; url=docs/html/index.html"/> </head> <body> </body> </html>