Может кто-нибудь сказать,
Вы можете найти HTML-файлы в разделе /usr/share/doc/libgtk-3-doc/gtk3
. Полный список всех файлов, поставляемых с пакетом libgtk-3-doc, вы можете получить, выполнив эту команду:
dpkg -L libgtk-3-doc
на виртуальном терминале или в окне терминала.