[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. 26232c0f37a397ee7ae86668994ff93241677d1b

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit 26232c0f37a397ee7ae86668994ff93241677d1b
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Thu Aug 7 16:16:40 2008 -0300

    hyperlink the reference to common-licenses/GPL

diff --git a/policy/legal.xml b/policy/legal.xml
index 23196e5..3ca2dec 100644
--- a/policy/legal.xml
+++ b/policy/legal.xml
@@ -23,9 +23,9 @@
     the GNU General Public License for more details.
   </para>
   <para>
-    A copy of the GNU General Public License is available as
-    <filename>/usr/share/common-licenses/GPL</filename> on Debian GNU/Linux
-    systems or on the World Wide Web at <ulink
+    A copy of the GNU General Public License is available as <ulink
+      url="file:///usr/share/common-licenses/GPL"><filename>/usr/share/common-licenses/GPL</filename></ulink>
+    on Debian GNU/Linux systems or on the World Wide Web at <ulink
       url="http://www.gnu.org/copyleft/gpl.html">The GNU Public
       Licence</ulink>.
   </para>

-- 
dh-ocaml packaging