Personal tools
Skip to content. | Skip to navigation
Texinfo is a documentation system that can produce both online information and printed output from a single source file. The GNU Project uses the Texinfo file format for most of its documentation. The texinfo-tex package provides tools to format Texinfo documents for printing using TeX.
TeX Live licenses shipped in text form.
This program makes PNG and/or GIF graphics from DVI files as obtained from TeX and its relatives. Its benefits include: Speed. It offers very fast rendering of DVI as bitmap files, which makes it suitable for generating large amounts of images on-the-fly, as needed in preview-latex, WeBWorK and others; It does not read the postamble, so it can be started before TeX finishes. There is a --follow switch that makes dvipng wait at end-of-file for further output, unless it finds the POST marker that indicates the end of the DVI; Interactive query of options. dvipng can read options interactively through stdin, and all options are usable. It is even possible to change the input file through this interface. Support for PK, VF, PostScript Type1, and TrueType fonts, colour specials, and inclusion of PostScript, PNG, JPEG or GIF images.
Binaries for dvipng
Kpathsea is a library and utility programs which provide path searching facilities for TeX file types, including the self- locating feature required for movable installations, layered on top of a general search mechanism. It is not distributed separately, but rather is released and maintained as part of the TeX live sources.
Binaries for kpathsea
The theora-tools package contains simple command line tools for use with theora bitstreams.
The Thunar Archive Plugin allows you to create and extract archive files using the file context menus in the Thunar file manager. Starting with version 0.2.0, the plugin provides a generic scripting interface for archive managers.
This plugin adds special features for media files to the Thunar file manager. It includes a special media file page for the file properties dialog, a tag editor for ID3 or OGG/Vorbis tags and a so-called bulk renamer, which allows users to rename multiple audio files at once, based on their tags.
The Thunar Volume Manager is an extension for the Thunar file manager, which enables automatic management of removable drives and media. For example, if thunar-volman is installed and configured properly, and you plug in your digital camera, it will automatically launch your preferred photo application and import the new pictures from the camera into your photo collection.