Module: ppl/ppl Branch: master Commit: 46edbeca89067126365ca31b38011d5bde23bdb8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46edbeca89067...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat May 11 17:55:04 2013 +0200

Apparently, some versions of Doxygen require this line. (Thanks to Matthias Klose.)

---

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

diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 661feb5..fb734e6 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/devref.tex b/doc/devref.tex index fd69ac1..e0d2e14 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index df64139..05b2b3d 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/user.tex b/doc/user.tex index 32469b7..52ab7ee 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true,