diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2011-06-23 12:43:32 +0000 |
---|---|---|
committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2011-06-23 12:43:32 +0000 |
commit | 0cb506d46a8b52003d90817d63a8e6e7f3e75c81 (patch) | |
tree | 58c9c0ba77a3d5552c21b7f199748200f1765972 | |
parent | 00763c591db19331f57f34c4ecff244017118f4f (diff) | |
download | ATCD-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/ChangeLog | 6 | ||||
-rw-r--r-- | CIAO/etc/ciao.doxygen | 2 | ||||
-rw-r--r-- | CIAO/etc/ciao_dds4ccm.doxygen | 2 |
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 |