[PPL-devel] [GIT] ppl/ppl(master): Removed references to an obsolete file.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Feb 26 15:43:55 2012 +0100

Removed references to an obsolete file.

---

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

diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in
index 5792164..9b90877 100644
--- a/doc/devref.doxyconf-html.in
+++ b/doc/devref.doxyconf-html.in
@@ -267,7 +267,6 @@ INPUT                  = @srcdir@/definitions.dox \
                          @srcdir@/../src/Poly_Gen_Relation.defs.hh \
                          @srcdir@/../src/Poly_Gen_Relation.inlines.hh \
                          @srcdir@/../src/Poly_Gen_Relation.cc \
-                         @srcdir@/../src/Interval_Restriction.defs.hh \
                          @srcdir@/../src/Interval_Info.types.hh \
                          @srcdir@/../src/Interval_Info.defs.hh \
                          @srcdir@/../src/Interval_Info.inlines.hh \
diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in
index 0c84017..2d9186d 100644
--- a/doc/devref.doxyconf-latex.in
+++ b/doc/devref.doxyconf-latex.in
@@ -265,7 +265,6 @@ INPUT                  = @srcdir@/definitions.dox \
                          @srcdir@/../src/Poly_Gen_Relation.defs.hh \
                          @srcdir@/../src/Poly_Gen_Relation.inlines.hh \
                          @srcdir@/../src/Poly_Gen_Relation.cc \
-                         @srcdir@/../src/Interval_Restriction.defs.hh \
                          @srcdir@/../src/Interval_Info.types.hh \
                          @srcdir@/../src/Interval_Info.defs.hh \
                          @srcdir@/../src/Interval_Info.inlines.hh \