[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Fixed a duplicate hypertarget error in the generated PDF documentation.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Feb 23 16:59:33 2011 +0100

Fixed a duplicate hypertarget error in the generated PDF documentation.

---

 doc/devref-language-interface.tex |    3 +++
 doc/devref.tex                    |    3 +++
 doc/user-language-interface.tex   |    3 +++
 doc/user.tex                      |    3 +++
 4 files changed, 12 insertions(+), 0 deletions(-)

diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex
index 95433cb..88577c7 100644
--- a/doc/devref-language-interface.tex
+++ b/doc/devref-language-interface.tex
@@ -63,6 +63,9 @@
 \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{}
 \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}}
 
+%% This only applies to the title: it avoids a pdf duplicate link error.
+\pagenumbering{Alph}
+
 \begin{document}
 \title{
 The Parma Polyhedra Library \\
diff --git a/doc/devref.tex b/doc/devref.tex
index aaf6576..5c37226 100644
--- a/doc/devref.tex
+++ b/doc/devref.tex
@@ -62,6 +62,9 @@
 \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{}
 \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library Developer's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}}
 
+%% This only applies to the title: it avoids a pdf duplicate link error.
+\pagenumbering{Alph}
+
 \begin{document}
 \title{
 The Parma Polyhedra Library \\
diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex
index cec3a71..467ea6c 100644
--- a/doc/user-language-interface.tex
+++ b/doc/user-language-interface.tex
@@ -63,6 +63,9 @@
 \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{}
 \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library <PPL_SED_LANGUAGE_NAME> Language Interface User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}}
 
+%% This only applies to the title: it avoids a pdf duplicate link error.
+\pagenumbering{Alph}
+
 \begin{document}
 \title{
 The Parma Polyhedra Library \\
diff --git a/doc/user.tex b/doc/user.tex
index e973054..09acdf4 100644
--- a/doc/user.tex
+++ b/doc/user.tex
@@ -62,6 +62,9 @@
 \rfoot[\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}]{}
 \lfoot[]{\fancyplain{}{\scriptsize The Parma Polyhedra Library User's Manual (version $projectnumber). See \url{http://www.cs.unipr.it/ppl/} for more information.}}
 
+%% This only applies to the title: it avoids a pdf duplicate link error.
+\pagenumbering{Alph}
+
 \begin{document}
 \title{
 The Parma Polyhedra Library \\