On Fri, Sep 01, 2006 at 02:55:59PM +0200, RKI Andreas wrote: > >Setting a link > > > >/usr/share/doc/gnumed-client/user-manual -> ../gnumed-doc/user-manual > > > >would enable access to the local copy of the docs > >from within the GUI. > > This sounds like a reasonable idea but would require a depends > from gnumed-doc (instead of recommends). Would you regard this as > reasonable solution?
Yes, because without the link the Manual Plugin would *always* try to go to the online Wiki regardless of whether the docs are installed. This is because it looks for doc/gnumed-client/user-manual/ rather than doc/gnumed-doc/user-manual/. It's a Debian decision to separate out the docs (not unreasonable, though). And the upstream source assumes the user manual is included with the client package (gnumed-client in the case of Debian). So, depending on installing gnumed-doc but having gnumed-client behave when it isn't there is a reasonable compromise on this, I guess. Karsten -- GPG key ID E4071346 @ wwwkeys.pgp.net E167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
