[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Set INLINE_SOURCES = NO when producing LaTeX documentation.

[Enea Zaffanella]

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=c60bb10f06f90c9faa7bf59889deabb678f3ce38

Author: Enea Zaffanella <zaffanella at 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