diff options
| author | Guillem Jover <guillem@debian.org> | 2019-04-01 01:01:57 +0200 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2019-04-01 01:01:57 +0200 |
| commit | 80a91864f18efb915c304ae21406f2610ac729dd (patch) | |
| tree | 03309e85222f1193fdaec2f80baedf351bdf13ee /italian/doc | |
| parent | 793ef2aaf7ac1e7953d45aed262afca75ae7986e (diff) | |
Sync translations (smart_change.pl)
Update changes for https switch for:
- cdimage.debian.org
- www.gnu.org
- cve.mitre.org
Diffstat (limited to 'italian/doc')
| -rw-r--r-- | italian/doc/index.wml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/italian/doc/index.wml b/italian/doc/index.wml index d4ffbd1b437..a45d504035d 100644 --- a/italian/doc/index.wml +++ b/italian/doc/index.wml @@ -1,5 +1,5 @@ #use wml::debian::template title="Documentazione" -#use wml::debian::translation-check translation="4d0fe47f90e4f8c6a3ed6053d2b3de86b9edb618" maintainer="Mirco Scottà" +#use wml::debian::translation-check translation="6f3adf6374f35194686f89dec2ba66b1ecf3bb5f" maintainer="Mirco Scottà" <p>Una parte importante di qualsiasi sistema operativo è la documentazione, cioè i manuali tecnici che descrivono le operazioni e l'uso dei programmi. @@ -181,7 +181,7 @@ Debian</a>.</p> su <a href="https://manpages.debian.org/cgi-bin/man.cgi">https://manpages.debian.org/</a>. </dd> - <dt><strong><a href="http://www.gnu.org/software/texinfo/manual/texinfo/html_node/index.html">file info</a></strong></dt> + <dt><strong><a href="https://www.gnu.org/software/texinfo/manual/texinfo/html_node/index.html">file info</a></strong></dt> <dd>Molto del software GNU ha la propria documentazione contenuta nei <em>file info</em> invece che nelle pagine man. Questi file contengono informazioni dettagliate sul programma stesso, sulle opzioni ed esempi d'uso e sono disponibili |