Trying to ad a favicon.ico, Daniel
diff --git a/doc/library.html b/doc/library.html
index d20de8c..b1ed71d 100644
--- a/doc/library.html
+++ b/doc/library.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}