Hi, On 18:14 Sun 07/15/12 Jul , Daniel Leidert wrote: > I would suggest the following solution: > > - rename givaro-user-doc to libgivaro-doc > - do not ship the developers documentation > - leave a pointer in README.Debian or TODO.Debian that you package the > developers documentation, if Debian users requests this
I followed your proposal, * Rename givaro-user-doc to libgivaro-doc. * Remove givaro-dev-doc. * Provide instructions for users to generate developer's documentation in README.Debian. Thanks for your suggestion. Regards, Lifeng -- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/20120716013510.GJ2722@string
