Add redirection page for HTML doxygen output so one does not have to search for index.html in the huge output/html directory

10 years ago · 4c06a737a4
2 changed files with 11 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,4 +1,4 @@
-/doc/doxygen/output
+/doc/doxygen/output/html
 /src/apps/snmp/LwipMibCompiler/CCodeGeneration/bin/
 /src/apps/snmp/LwipMibCompiler/CCodeGeneration/obj/
 /src/apps/snmp/LwipMibCompiler/LwipMibCompiler/bin/
--- a/doc/doxygen/output/index.html
+++ 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>