diff --git a/doclib/SConscript b/doclib/SConscript index 66c861936da577ea70b93c35520bd298ddf2f2f7..297ca8203eb4c0d5d36db0565c38e98d1e304b9c 100644 --- a/doclib/SConscript +++ b/doclib/SConscript @@ -45,6 +45,7 @@ HEADER = """<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http <title>$title</title> <link href="@TOPDIR@/doc/html/doxygen.css" rel="stylesheet" type="text/css"> <link href="@TOPDIR@/doclib/senf.css" rel="stylesheet" type="text/css"> +<link rel="shortcut icon" href="@TOPDIR@/doclib/favicon.ico"> <style type="text/css"> div.tabs ul li.$projectname a { background-color: #EDE497; } </style> diff --git a/doclib/favicon.ico b/doclib/favicon.ico new file mode 100644 index 0000000000000000000000000000000000000000..4c12443821205bcdcc92c34973445201822e740d Binary files /dev/null and b/doclib/favicon.ico differ