# 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)
# This Description is owned
# 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-it: programma di aiuto per gli sviluppatori GNOME
 Lo scopo principale di devhelp è quello di essere uno strumento di
 visualizzazione per la documentazione delle API di GNOME. È in grado di
 leggere i file .devhelp generati automaticamente dai pacchetti che
 utilizzano gtk-doc-tools per generare la documentazione per le librerie e
 i programmi.
 .
 Devhelp utilizza Gecko, il motore di Mozilla per la resa dei manuali HTML.
 Fornisce anche funzionalità di Bonobo, usato per la ricerca attraverso la
 riga di comando, integrazione con emacs e l'integrazione in applicazioni
 come l'IDE Anjuta.

# other Descriptions of the devhelp package with a translation in it:
# 
# Description-id: 320311 https://ddtp.debian.org/ddt.cgi?desc_id=320311
# patch https://ddtp.debian.org/ddt.cgi?diff1=320311&diff2=1659&language=it
# This Description is active
# This Description was in forky from 2026-02-12 to 2026-09-24;
# This Description was in sid from 2026-02-05 to 2026-09-24;
# 
# Description-id: 316554 https://ddtp.debian.org/ddt.cgi?desc_id=316554
# patch https://ddtp.debian.org/ddt.cgi?diff1=316554&diff2=1659&language=it
# 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=it
# This Description was in trixie from 2023-06-12 to 2026-09-14;
# 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;
# 
# Description-id: 61236 https://ddtp.debian.org/ddt.cgi?desc_id=61236
# patch https://ddtp.debian.org/ddt.cgi?diff1=61236&diff2=1659&language=it
# This Description was in etch from 2009-10-02 to 2011-07-22;
# This Description was in wheezy from 2011-02-12 to 2011-08-03;
# This Description was in lenny from 2009-10-02 to 2011-07-22;
# This Description was in sid from 2009-06-29 to 2011-07-22;
# This Description was in squeeze from 2009-07-11 to 2014-07-22;
#