Module: ppl/ppl Branch: bounded_arithmetic Commit: 532f232e7c879cbc1ab780b5559e3e1beeae9cf2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=532f232e7c879...

Author: Alberto Gioia alberto.gioia1@studenti.unipr.it Date: Tue Jul 5 19:27:01 2011 +0200

Included pah src/linearize_integer.hh for documentation generation.

---

doc/devref.doxyconf-html.in | 1 + doc/devref.doxyconf-latex.in | 1 + 2 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index 99bfb68..15ae304 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -385,6 +385,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Linear_Form.templates.hh \ @srcdir@/../src/Linear_Form.cc \ @srcdir@/../src/linearize.hh \ + @srcdir@/../src/linearize_integer.hh \ @srcdir@/gpl.dox \ @srcdir@/fdl.dox INPUT_ENCODING = UTF-8 diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index 014bc16..678e40a 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -383,6 +383,7 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/../src/Linear_Form.templates.hh \ @srcdir@/../src/Linear_Form.cc \ @srcdir@/../src/linearize.hh \ + @srcdir@/../src/linearize_integer.hh \ @srcdir@/gpl.dox \ @srcdir@/fdl.dox INPUT_ENCODING = UTF-8