Caricamento...

TEXINFO

icona texinfo

Dati sorgente Texinfo

Tipo di file: Source code e script file

I file con estensione file texinfo sono utilizzati dal programma omonimo Texinfo. Un file texinfo memorizza i dati sorgente.

Cos'è un file texinfo?

Categoria tipo di file:
Source code e script file

Data aggiornamento: 16 settembre 2025

Record marcato come obsoleto e non aggiornato da molto tempo.

L'estensione file texinfo è relativa a Texinfo, il formato di documentazione ufficiale del progetto GNU. È stato inventato da Richard Stallman e Bob Chassell molti anni fa, basandosi liberamente su Scribe di Brian Reid e altri linguaggi di formattazione dell'epoca. Viene utilizzato anche da molti progetti non GNU.

Tipi MIME:
application/x-texinfo

Software suggerito per aprire file texinfo:

Azioni software associate al file texinfo

Applicazioni software che gestiscono altre attività riguardanti file texinfo:

Microsoft Windows

Estensioni file correlate