# Source: devhelp
# Package: devhelp
# Versions: devhelp (0.13-1), devhelp (0.16-0ubuntu1), devhelp (0.19.1-1), devhelp (0.19.1-6+b1), devhelp (0.21-2), devhelp (0.21-2+b1)
# Prioritize: 45
Description: A GNOME developers help program
 Devhelp's primary goal is to be an API documentation browser for GNOME.
 It is able to scan for .devhelp files generated automatically for
 packages that use gtk-doc-tools to generate documentation for libraries
 and programs.
 .
 Devhelp uses Gecko, the Mozilla rendering engine to render the HTML
 manuals. It also provides Bonobo functionality, which is used to
 allow command-line searches, emacs integration and embedding in
 applications like the Anjuta IDE.
Description-pl: <trans>
 Devhelp zostało zaprojektowane głównie do przeglądania dokumentacji API
 GNOME. Devhelp umożliwia wyszukiwanie plików *.devhelp, które są tworzone
 automatycznie dla pakietów, wykorzystujących gtk-doc-tools przy tworzeniu
 dokumentacji do bibliotek i programów.
 .
 <trans>

# other Descriptions of the devhelp package with a translation in pl:
# 
# Description-id: 320311 https://ddtp.debian.org/ddt.cgi?desc_id=320311
# patch https://ddtp.debian.org/ddt.cgi?diff1=320311&diff2=1659&language=pl
# This Description is active
# This Description was in forky from 2026-02-12 to 2026-09-04;
# This Description was in sid from 2026-02-05 to 2026-09-04;
# 
# Description-id: 316554 https://ddtp.debian.org/ddt.cgi?desc_id=316554
# patch https://ddtp.debian.org/ddt.cgi?diff1=316554&diff2=1659&language=pl
# This Description was in forky from 2025-08-21 to 2026-02-11;
# This Description was in sid from 2025-08-16 to 2026-02-04;
# 
# Description-id: 84250 https://ddtp.debian.org/ddt.cgi?desc_id=84250
# patch https://ddtp.debian.org/ddt.cgi?diff1=84250&diff2=1659&language=pl
# This Description was in trixie from 2023-06-12 to 2026-07-13;
# This Description was in forky from 2025-08-10 to 2025-08-20;
# This Description was in bullseye from 2020-03-03 to 2024-09-02;
# This Description was in bookworm from 2021-08-18 to 2026-07-13;
# This Description was in sid from 2011-07-22 to 2025-08-15;
# This Description was in wheezy from 2011-08-04 to 2016-06-07;
# This Description was in jessie from 2013-08-08 to 2018-06-26;
# This Description was in stretch from 2015-05-03 to 2020-07-21;
# This Description was in buster from 2017-07-28 to 2022-09-13;
#