[PPL-devel] [GIT] ppl/w3ppl(master): Anchors fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Jun 13 07:22:17 2009 +0200

Anchors fixed.

---

 htdocs/Bugs/Bugs.raw |    2 +-
 htdocs/news.raw      |    3 ++-
 htdocs/ppl.raw       |    3 ++-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw
index 48335c6..a74d9a8 100644
--- a/htdocs/Bugs/Bugs.raw
+++ b/htdocs/Bugs/Bugs.raw
@@ -15,7 +15,7 @@ by definition, not smart enough to debug it.
 <P>
 <FONT SIZE="+2">T</FONT>he PPL developers encourage you to report
 any bugs you find using the
-<HREF="https://www.cs.unipr.it/mantis/">bug tracking system</A>.
+<A HREF="https://www.cs.unipr.it/mantis/">bug tracking system</A>.
 Here `bug' should be interpreted in its broadest sense: outright
 software errors, misfeatures, bad interfaces, missing or unclear
 documentation... whatever is a subject for possible improvement.
diff --git a/htdocs/news.raw b/htdocs/news.raw
index abf4d36..ec008fb 100644
--- a/htdocs/news.raw
+++ b/htdocs/news.raw
@@ -15,7 +15,8 @@ of the Parma Polyhedra Library.
     <STRONG>The PPL has now a bug tracking system</STRONG>
     <BR>
     We finally got round to setting up a
-    <HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>.
+    <A
+    HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>.
     Users and developers are now strongly encouraged to use it
     for communicating, commenting and keeping track of all PPL issues.
   </TD>
diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw
index 65d53f2..b932c42 100644
--- a/htdocs/ppl.raw
+++ b/htdocs/ppl.raw
@@ -53,7 +53,8 @@ version 3</A> or any later version).
     <STRONG><FONT COLOR=red>The PPL has now a bug tracking system</FONT></STRONG>
     <BR>
     We finally got round to setting up a
-    <HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>.
+    <A
+    HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>.
     Users and developers are now strongly encouraged to use it
     for communicating, commenting and keeping track of all PPL issues.
   </TD>