<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <html> <head> <title>REDIRECT!</title> <meta http-equiv="REFRESH" content="0;url=./doxygen/index.html"></HEAD> <BODY> This is a redirect to <a href="./doxygen/index.html">the doxygen stuff.</a> </BODY> </HTML>