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

Loïc Minier lool at dooz.org
Wed Aug 9 15:49:45 UTC 2006


        Hi,

On Sun, Dec 04, 2005, Justin Pryzby wrote:
> Is there any reason not to put everything from
> /usr/share/gtk-doc/html/X into the relevant place in
> /usr/share/doc/X/html/ ?

 Actually, I'm not 100% sure I agree with the rationale behind moving
 doc to /usr/share/doc/$package and would like to discuss it.

 Here all my ideas on the subject piled together:

 1) We do want to see all documentations relevant to a package below
 /usr/share/doc/$package, but this can easily be achieved via symlinks
 to the actual location of the documentation.

 2) /usr/share/gtk-doc/html seems like a FHS-compliant location to put
 all HTML documentation handled / generated by gtk-doc.

 3) How does this differ from man pages, .desktop files, doc-base files,
 etc?  These are directly below the place where they are expected, not
 below a per-package specific dir, such as /usr/share/$package/desktop.

 4) What if the documentation is relevant to multiple packages?  It's
 easy to have multiple links to /usr/share/gtk-doc/html from the
 /usr/share/doc/$package dirs.

 5) This breaks expectations across distributions that you can find the
 gtk-doc of foobar below /usr/share/gtk-doc/html/foobar unless we manage
 symlinks there.

 Summing this up, I propose the following:
 - continue shipping doc to /usr/share/gtk-doc/html as the default place
   for all gtk-doc HTML documentations (imagine someone writes
   gtk-doc-genindex)
 - symlink from all relevant /usr/share/doc/$package dirs to these docs.

 Is this acceptable?

   Bye,
-- 
Loïc Minier <lool at dooz.org>





More information about the Pkg-gnome-maintainers mailing list