wxWidgets/debian/libwxgtk-dbg.docs