Bug#606869: debian-policy: Please fix freedesktop.org links

[Jonathan Nieder <jrnieder@gmail.com>]

user debian-policy@packages.debian.org
usertags 606869 + informative
quit

Hi David,

David Prévot wrote:

> --- a/policy.sgml
> +++ b/policy.sgml
> @@ -8940,9 +8940,9 @@ name ["<var>syshostname</var>"]:
>  
>                <item>
>                    If the window manager complies with <url
> -		    id="http://www.freedesktop.org/Standards/wm-spec";
> +		    id="http://www.freedesktop.org/wiki/Specifications/wm-spec";
>  		    name="The Window Manager Specification Project">,
> -                  written by the <url id="http://www.freedesktop.org/";
> +                  written by the <url id="http://www.freedesktop.org/wiki/";
>  		    name="Free Desktop Group">, add 40 points.
>                </item>

Thanks.  I think this is a non-normative change, since "The Window
Manager Specification Project written by the Free Desktop Group"
refers to the same documents regardless of what URI we use.

Re the first URI: I wonder if we should say something more precise,
like EWMH 1.3 <http://standards.freedesktop.org/wm-spec/1.3/>.  That
would be a bigger change, though[1].

Re the second URI: it's a shame the main freedesktop.org site
hard-codes "wiki" in its address, but I suppose it's best to respect
their wishes.

Hope that helps,
Jonathan 

[1] Maybe it would be best to clone the bug and deal with that
separately.