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