From f7a58f21c39bf1d81af576d6d533af6fe63ae4b2 Mon Sep 17 00:00:00 2001 From: Basile Desloges <basile.desloges@cea.fr> Date: Thu, 19 Mar 2020 09:43:58 +0100 Subject: [PATCH] =?UTF-8?q?[eacsl:doc]=C2=A0Fix=20paths=20for=20doxygen=20?= =?UTF-8?q?generation?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in b/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in index 5d8a49c0b4e..ff2a3f4d7eb 100644 --- a/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in +++ b/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in @@ -423,7 +423,7 @@ WARN_FORMAT = # and error messages should be written. If left blank the output is written # to stderr. -WARN_LOGFILE = @abs_top_srcdir@/doc/doxygen/warn.log +WARN_LOGFILE = @abs_top_builddir@/doc/doxygen/warn.log #--------------------------------------------------------------------------- # configuration options related to the input files @@ -434,9 +434,10 @@ WARN_LOGFILE = @abs_top_srcdir@/doc/doxygen/warn.log # directories like "/usr/src/myproject". Separate the files or directories # with spaces. -INPUT = @abs_top_srcdir@/share/e-acsl \ - @abs_top_srcdir@/share/e-acsl/segment_model \ - @abs_top_srcdir@/share/e-acsl/bittree_model +INPUT = @abs_top_srcdir@/src/plugins/e-acsl/share/e-acsl \ + @abs_top_srcdir@/src/plugins/e-acsl/share/e-acsl/segment_model \ + @abs_top_srcdir@/src/plugins/e-acsl/share/e-acsl/bittree_model \ + @abs_top_srcdir@/src/plugins/e-acsl/share/e-acsl/instrumentation_model # If the value of the INPUT tag contains directories, you can use the # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp -- GitLab