tags 446876 + moreinfo thanks On Tue, Oct 16, 2007 at 12:01:31PM +0100, Simon McVittie wrote: > It's quite easy to register HTML documentation with devhelp, the GNOME > documentation browser. I attach a patch which does this for the W3C > recommendations in w3-recs.
Thanks for the hint and for the patch, I'm looking at it. However, I'm not familiar with devhelp (though not by any means against supporting it for w3-recs), so I've a couple of questions: - how can I check after rebuilding the package that the w3-recs "book" is actually registered with devhelp? - is it allowed to compress .devhelp files obtaining .devhelp.gz? On my system for example I have /usr/share/devhelp/books/python2.4/python2.4.devhelp.gz but I don't see the python2.4 book anywhere, maybe the cause is precisely that that file is gzipped? or maybe is related to the fact that I don't know the answer to the previous question :) Cheers. -- Stefano Zacchiroli -*- PhD in Computer Science ............... now what? [EMAIL PROTECTED],debian.org,bononia.it} -%- http://www.bononia.it/zack/ (15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the (15:57:15) Bac: no, la demo scema \/ right keys at the right time
signature.asc
Description: Digital signature