diff --git a/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in b/src/plugins/e-acsl/doc/doxygen/doxygen.cfg.in
index 5d8a49c0b4e4c89582bfc092b04b6981d3bc8171..ff2a3f4d7eb0d33f30739f3f0ff17c53661ec7fc 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