Bug#363139: gtk: Please move all gtk html documentation to /usr/share/doc/...

Josselin Mouette joss at debian.org
Wed Aug 9 20:37:20 UTC 2006


Le mercredi 09 août 2006 à 20:53 +0200, Loïc Minier a écrit :
>  Let me rephrase point 5); wherever we ship the doc, we have to put list
>  it in /usr/share/gtk-doc/html to not break expectations, so why move it
>  at all?

I was about to answer "because of the policy", but by reading it I have
to admit you are right.

§12.3:
        Any files that are referenced by programs but are also useful as
        stand alone documentation should be installed
        under /usr/share/package/ with symbolic links
        from /usr/share/doc/package.

Therefore /usr/share/gtk-doc/html makes perfect sense.

>  While thinking about this I thought about a new potential proble for
>  the move:
>  6) Some tools might not handle symlinks in /usr/share/gtk-doc very well
>  (devhelp springs to mind), while we currently have no special tool that
>  goes over /usr/share/doc/.

Of course we have: dhelp and dwww. Some GNOME doc packages are already
shipping doc-base files, but this is also something that should be
generalized.
-- 
 .''`.           Josselin Mouette        /\./\
: :' :           josselin.mouette at ens-lyon.org
`. `'                        joss at debian.org
  `-  Debian GNU/Linux -- The power of freedom
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Ceci est une partie de message
	=?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=
Url : http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20060809/394cfedb/attachment.pgp


More information about the Pkg-gnome-maintainers mailing list