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
    Clementine
    Clementine
    Clementine is a multi-platform music
    player and library organizer inspired by
    Amarok 1.4. It has a fast and
    easy-to-use interface, and allows you to
    search and ...
    Download Clementine
  • 2
    XISMuS
    XISMuS
    ATTENTION: Cumulative update 2.4.3 has
    been released!! The update works for any
    previous 2.x.x version. If upgrading
    from version v1.x.x, please download and
    i...
    Download XISMuS
  • 3
    facetracknoir
    facetracknoir
    Modular headtracking program that
    supports multiple face-trackers, filters
    and game-protocols. Among the trackers
    are the SM FaceAPI, AIC Inertial Head
    Tracker ...
    Download facetracknoir
  • 4
    PHP QR Code
    PHP QR Code
    PHP QR Code is open source (LGPL)
    library for generating QR Code,
    2-dimensional barcode. Based on
    libqrencode C library, provides API for
    creating QR Code barc...
    Download PHP QR Code
  • 5
    Cuckoo Sandbox
    Cuckoo Sandbox
    Cuckoo Sandbox uses components to
    monitor the behavior of malware in a
    Sandbox environment; isolated from the
    rest of the system. It offers automated
    analysis o...
    Download Cuckoo Sandbox
  • 6
    LMS-YouTube
    LMS-YouTube
    Play YouTube video on LMS (porting of
    Triode's to YouTbe API v3) This is
    an application that can also be fetched
    from
    https://sourceforge.net/projects/lms-y...
    Download LMS-YouTube
  • 7
    dotnet sdk
    dotnet sdk
    Core functionality needed to createNET
    Core projects, that is shared between
    Visual Studio and CLI. There are no fees
    or licensing costs, including for
    commerc...
    Download dotnet sdk
  • More »

Linux commands

Ad