[PPL-devel] [GIT] ppl/ppl(master): Avoid a broken reference to another manual that is built later.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Mar 18 17:15:05 2010 +0100

Avoid a broken reference to another manual that is built later.

---

 Watchdog/src/Threshold_Watcher.defs.hh |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Watchdog/src/Threshold_Watcher.defs.hh b/Watchdog/src/Threshold_Watcher.defs.hh
index ef3e638..f565e67 100644
--- a/Watchdog/src/Threshold_Watcher.defs.hh
+++ b/Watchdog/src/Threshold_Watcher.defs.hh
@@ -31,8 +31,9 @@ site: http://www.cs.unipr.it/ppl/ . */
 /*! \brief
   A class of watchdogs controlling the exceeding of a threshold.
 
-  \tparam Traits class to set data types and functions for the
-  threshold handling. See \ref Weightwatch_Traits for an example.
+  \tparam Traits
+  A class to set data types and functions for the threshold handling.
+  See \c Parma_Polyhedra_Library::Weightwatch_Traits for an example.
 */
 template <typename Traits>
 class Parma_Watchdog_Library::Threshold_Watcher {