EnglishFrenchSpanish

Ad


OnWorks favicon

caml2html - Online in the Cloud

Run caml2html in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command caml2html that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


caml2html - pretty print OCaml in html and latex

SYNOPSIS


caml2html [Options...] files...

DESCRIPTION


caml2html pretty prints OCaml source code as html or LaTex files. The pretty printing uses
colors and adds tool‐tips with type annotations if the corresponding .annot file is
present.

Without file arguments, caml2html reads from standard input. By default it writes to
standard output.

OPTIONS


-annotfilter {innermost|outermost}
choose whether innermost or outermost type annotations should be used (default:
innermost)

-noannot
do not insert type annotations as read from .annot files (HTML output only)

-ln add line number at the beginning of each line

-hc comments are treated as raw HTML or LaTeX code (no newlines inside of tags)

-t add a title to the HTML page

-body output only document's body, for inclusion into an existing document (see also
-make-css and -make-latex-defs)

-nf do not add footnotes to the HTML page

-inhead
use default styling and place it in the <head> section of the document (default
when applicable)

-charset <charset>
specify charset to use (default: iso-8859-1)

-css use separate CSS style file style.css

-cssurl <URL>
use URL as CSS

-inline
use inline styling (HTML only, default fallback if -inhead is not applicable)

-ie7 drop support for type annotations on Internet Explorer 6 and older

-notab do not replace tabs by spaces

-tab <integer>
replace tab by n spaces (default = 8)

-d <directory>
generate files in directory dir, rather than in current directory

-o <filename>
output file

-make-css <filename>
create CSS file with default color definitions and exit

-ext <NAME:CMD>
use the given external command CMD to handle comments that start with (*NAME. NAME
must be a lowercase identifier. See EXAMPLES below.

-latex output LaTeX code instead of HTML.

-make-latex-defs <filename>
create a file containing the default LaTeX color definitions and matching
highlighting commands, and exit. \usepackage{alltt,color} is not included.

-v print version number to stdout and exit

-help | --help
Display options and exit.

EXAMPLES


Process many files into a single file:

caml2html -o result.html *.mli *.ml

Process many files, and create one HTML page for each file:

caml2html *.ml

You can use HTML in the comments of the source file, for instance, to insert hyperlinks:

(* This is file1.ml.
<a href="#file2.ml">This is a link to file2.ml</a>. *)

Note, that one HTML tag cannot span over several lines, and that the ordinary characters
<, > and & must be written as &lt;, &gt; and &amp;.

Custom comment handlers To implement an include directive for comments, use

caml2html -ext "include: xargs cat" example.ml

Then

(*include i.html *)
let f x = 2 * x + 1

produces

... contens of i.html ...
let f x = 2 * x + 1

as result.

Use caml2html online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    VASSAL Engine
    VASSAL Engine
    VASSAL is a game engine for creating
    electronic versions of traditional board
    and card games. It provides support for
    game piece rendering and interaction,
    and...
    Download VASSAL Engine
  • 2
    OpenPDF - Fork of iText
    OpenPDF - Fork of iText
    OpenPDF is a Java library for creating
    and editing PDF files with a LGPL and
    MPL open source license. OpenPDF is the
    LGPL/MPL open source successor of iText,
    a...
    Download OpenPDF - Fork of iText
  • 3
    SAGA GIS
    SAGA GIS
    SAGA - System for Automated
    Geoscientific Analyses - is a Geographic
    Information System (GIS) software with
    immense capabilities for geodata
    processing and ana...
    Download SAGA GIS
  • 4
    Toolbox for Java/JTOpen
    Toolbox for Java/JTOpen
    The IBM Toolbox for Java / JTOpen is a
    library of Java classes supporting the
    client/server and internet programming
    models to a system running OS/400,
    i5/OS, o...
    Download Toolbox for Java/JTOpen
  • 5
    D3.js
    D3.js
    D3.js (or D3 for Data-Driven Documents)
    is a JavaScript library that allows you
    to produce dynamic, interactive data
    visualizations in web browsers. With D3
    you...
    Download D3.js
  • 6
    Shadowsocks
    Shadowsocks
    A fast tunnel proxy that helps you
    bypass firewalls This is an application
    that can also be fetched from
    https://sourceforge.net/projects/shadowsocksgui/.
    It ha...
    Download Shadowsocks
  • More »

Linux commands

Ad