Search Results for "terminal .html"

LaTeX Reference Card Creator is a Makefile based build system for creating reference cards. LaTeX Reference Card Creator compiles content into PDF, DjVu, TEX DVI, HTML and PostScript output formats. A three column reference card will be created. Features include batch image format conversions, spell checking, broken link checking, automatic backups and .zip and .tar.gz distribution building. LaTeX Reference Card Creator provides many LaTeX examples which can be used to make a reference card.

Highlight converts source code to HTML, XHTML, RTF, ODT, LaTeX, TeX, SVG, BBCode, Pango markup, and terminal escape sequences with colored syntax highlighting. Language definitions and color themes are customizable. Highlight was designed to offer a flexible but easy-to-use syntax highlighter for several output formats. No syntax or coloring information is hardcoded, instead all relevant data is stored in configuration scripts.

LaTeX Web Publisher is a Makefile based Web publishing system featuring content creation into HTML, non-split HTML, HTML Zip, PDF, DjVu, PostScript, DVI and Plain text formats. All LaTeX Web Publisher output formats are from a single LaTeX source and have indices. LaTeX Web Publisher can be used for website creation and has FTP deployment capabilities. A website created with LaTeX Web Publisher will have HTML, non-split HTML and PDF content formats. The website will have complete HTML...

The program is translator from the TeX-like language to the HTML. It allows to use the power of TeX macro-commands for the generation of HTML, and when this program will be written, I write PHP extension for using it.