[PPL-devel] [GIT] ppl/ppl(master): Fixed typo.

Enea Zaffanella zaffanella at cs.unipr.it
Sat Dec 10 07:37:56 CET 2011


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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sat Dec 10 07:37:40 2011 +0100

Fixed typo.

---

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

diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in
index 8a67bd5..ea929aa 100644
--- a/doc/devref.doxyconf-html.in
+++ b/doc/devref.doxyconf-html.in
@@ -139,7 +139,7 @@ INPUT                  = @srcdir@/definitions.dox \
                          @srcdir@/../src/termination.defs.hh \
                          @srcdir@/../src/termination.templates.hh \
                          @srcdir@/../src/termination.cc \
-                         @srcdir@/../src/Topology.hh \
+                         @srcdir@/../src/Topology.types.hh \
                          @srcdir@/../src/Sparse_Row.types.hh \
                          @srcdir@/../src/Sparse_Row.defs.hh \
                          @srcdir@/../src/Sparse_Row.inlines.hh \
diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in
index dce5cac..1c75de1 100644
--- a/doc/devref.doxyconf-latex.in
+++ b/doc/devref.doxyconf-latex.in
@@ -139,7 +139,7 @@ INPUT                  = @srcdir@/definitions.dox \
                          @srcdir@/../src/termination.defs.hh \
                          @srcdir@/../src/termination.templates.hh \
                          @srcdir@/../src/termination.cc \
-                         @srcdir@/../src/Topology.hh \
+                         @srcdir@/../src/Topology.types.hh \
                          @srcdir@/../src/Sparse_Row.types.hh \
                          @srcdir@/../src/Sparse_Row.defs.hh \
                          @srcdir@/../src/Sparse_Row.inlines.hh \




More information about the PPL-devel mailing list