diff --git a/src/tools/doxygen.jam b/src/tools/doxygen.jam index 71ee78abf9..bf44bef591 100644 --- a/src/tools/doxygen.jam +++ b/src/tools/doxygen.jam @@ -309,8 +309,14 @@ rule headers-to-doxyfile ( target : sources * : properties * ) } local headers ; - for local header in $(sources:G=) + for local source in $(sources) { + local header = $(source:G=) ; + local root = [ on $(source) return $(SEARCH) ] ; + if $(root) + { + header = [ path.root $(header) $(root) ] ; + } header = [ translate-path $(header) ] ; headers += \"$(header)\" ; }