diff options
Diffstat (limited to 'doc/doxygen/output/index.html')
| -rw-r--r-- | doc/doxygen/output/index.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/doxygen/output/index.html b/doc/doxygen/output/index.html new file mode 100644 index 00000000000..a52e09fcf25 --- /dev/null +++ b/doc/doxygen/output/index.html @@ -0,0 +1,10 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml"> +<head> + <title>Redirection</title> + <meta http-equiv="refresh" content="0; url=html/index.html" /> +</head> +<body> + <a href="html/index.html">index.html</a> +</body> +</html> |