diff --git a/doc/docs.html b/doc/docs.html
index 98c20ea..79ad4e3 100644
--- a/doc/docs.html
+++ b/doc/docs.html
@@ -2,6 +2,7 @@
 <html>
 <head>
 <meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type">
+<link rel="SHORTCUT ICON" href="/favicon.ico">
 <style type="text/css"><!--
 TD {font-family: Verdana,Arial,Helvetica}
 BODY {font-family: Verdana,Arial,Helvetica; margin-top: 2em; margin-left: 0em; margin-right: 0em}