[PPL-devel] Patch for Doxygen's src/latexgen.cpp

[Roberto Bagnara]

Without this patch \rowcolors remains undefined:

Index: src/latexgen.cpp
===================================================================
--- src/latexgen.cpp	(revision 757)
+++ src/latexgen.cpp	(working copy)
@@ -318,7 +318,7 @@
         "\\RequirePackage{longtable}\n"
         "\\RequirePackage{verbatim}\n"
         "\\RequirePackage{ifthen}\n"
-       "\\RequirePackage{xcolor}\n\n";
+       "\\RequirePackage[table]{xcolor}\n\n";

    t << "% Use helvetica font instead of times roman\n"
         "\\RequirePackage{helvet}\n"

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it