Module: ppl/ppl Branch: ppl-0_11-branch Commit: c60bb10f06f90c9faa7bf59889deabb678f3ce38 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c60bb10f06f90...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Feb 23 10:19:21 2011 +0100

Set INLINE_SOURCES = NO when producing LaTeX documentation.

This change is a workaround to a pdftex + hyperref issue that may result in the following error \pdfendlink ended up in different nesting level than \pdfstartlink when using some versions of Doxygen (e.g., 1.7.3).

According to http://tug.org/errors.html the error is triggered when a hyperlink is split across page boundaries and it can be generated even by valid LaTeX code. Disabling source inlining is a way to greatly decrease its likelihood.

---

Watchdog/doc/devref.doxyconf-latex.in | 2 +- doc/devref-language-interface.doxyconf.in | 2 +- doc/devref.doxyconf-latex.in | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Watchdog/doc/devref.doxyconf-latex.in b/Watchdog/doc/devref.doxyconf-latex.in index e5d8bfe..ddc0d08 100644 --- a/Watchdog/doc/devref.doxyconf-latex.in +++ b/Watchdog/doc/devref.doxyconf-latex.in @@ -137,7 +137,7 @@ FILTER_SOURCE_FILES = NO # configuration options related to source browsing #--------------------------------------------------------------------------- SOURCE_BROWSER = YES -INLINE_SOURCES = YES +INLINE_SOURCES = NO STRIP_CODE_COMMENTS = YES REFERENCED_BY_RELATION = YES REFERENCES_RELATION = YES diff --git a/doc/devref-language-interface.doxyconf.in b/doc/devref-language-interface.doxyconf.in index a324118..e277689 100644 --- a/doc/devref-language-interface.doxyconf.in +++ b/doc/devref-language-interface.doxyconf.in @@ -106,7 +106,7 @@ FILTER_SOURCE_FILES = NO # configuration options related to source browsing #--------------------------------------------------------------------------- SOURCE_BROWSER = YES -INLINE_SOURCES = YES +INLINE_SOURCES = NO STRIP_CODE_COMMENTS = YES REFERENCED_BY_RELATION = YES REFERENCES_RELATION = YES diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index b947949..e4dd017 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -352,7 +352,7 @@ FILTER_SOURCE_FILES = NO # configuration options related to source browsing #--------------------------------------------------------------------------- SOURCE_BROWSER = YES -INLINE_SOURCES = YES +INLINE_SOURCES = NO STRIP_CODE_COMMENTS = YES REFERENCED_BY_RELATION = YES REFERENCES_RELATION = YES