On Tue, 2015-02-03 at 09:23 +0100, Murray Cumming wrote: > Searching of gtkmm documentation has been working in devhelp for > years, > and I've just tested it here both in regular Ubuntu and in jhbuild. I > mean, searching of the index, of course. I don't think devhelp offers > full text search for any documentation. If there's any particular > problem, or if I've misunderstood, we'd like to hear about it.
Actually, I think I just found a big problem with gtkmm's devhelp index: https://bugzilla.gnome.org/show_bug.cgi?id=743918 It seems to be a doxygen bug - hopefully we can figure out a simple test case. -- Murray Cumming [email protected] www.murrayc.com _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
