summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohnny Willemsen <jwillemsen@remedy.nl>2011-06-23 12:43:32 +0000
committerJohnny Willemsen <jwillemsen@remedy.nl>2011-06-23 12:43:32 +0000
commit0cb506d46a8b52003d90817d63a8e6e7f3e75c81 (patch)
tree58c9c0ba77a3d5552c21b7f199748200f1765972
parent00763c591db19331f57f34c4ecff244017118f4f (diff)
downloadATCD-0cb506d46a8b52003d90817d63a8e6e7f3e75c81.tar.gz
Thu Jun 23 12:39:08 CEST 2011 Johnny Willemsen <jwillemsen@remedy.nl>
* etc/*.doxygen: Disable html help, seems doxygen now disables the search option when html help is enabled
-rw-r--r--CIAO/ChangeLog6
-rw-r--r--CIAO/etc/ciao.doxygen2
-rw-r--r--CIAO/etc/ciao_dds4ccm.doxygen2
3 files changed, 8 insertions, 2 deletions
diff --git a/CIAO/ChangeLog b/CIAO/ChangeLog
index 3bfebf4d83b..2a81182d06a 100644
--- a/CIAO/ChangeLog
+++ b/CIAO/ChangeLog
@@ -1,3 +1,9 @@
+Thu Jun 23 12:39:08 CEST 2011 Johnny Willemsen <jwillemsen@remedy.nl>
+
+ * etc/*.doxygen:
+ Disable html help, seems doxygen now disables the search option
+ when html help is enabled
+
Thu Jun 23 13:46:08 CEST 2011 Johnny Willemsen <jwillemsen@remedy.nl>
* CIAO version 1.0.3 released.
diff --git a/CIAO/etc/ciao.doxygen b/CIAO/etc/ciao.doxygen
index dd8ddf41430..6f52f2b95fb 100644
--- a/CIAO/etc/ciao.doxygen
+++ b/CIAO/etc/ciao.doxygen
@@ -77,7 +77,7 @@ HTML_HEADER =
HTML_FOOTER =
HTML_STYLESHEET =
HTML_ALIGN_MEMBERS = YES
-GENERATE_HTMLHELP = YES
+GENERATE_HTMLHELP = NO
#---------------------------------------------------------------------------
# configuration options related to the LaTeX output
diff --git a/CIAO/etc/ciao_dds4ccm.doxygen b/CIAO/etc/ciao_dds4ccm.doxygen
index 558b2ea8b71..1a28506ef18 100644
--- a/CIAO/etc/ciao_dds4ccm.doxygen
+++ b/CIAO/etc/ciao_dds4ccm.doxygen
@@ -78,7 +78,7 @@ HTML_HEADER =
HTML_FOOTER =
HTML_STYLESHEET =
HTML_ALIGN_MEMBERS = YES
-GENERATE_HTMLHELP = YES
+GENERATE_HTMLHELP = NO
#---------------------------------------------------------------------------
# configuration options related to the LaTeX output