caml2html – Online in der Cloud

PROGRAMM:

NAME/FUNKTION

caml2html – Hübscher OCaml-Druck in HTML und Latex

ZUSAMMENFASSUNG

caml2html [Options ...] Dateien...

BESCHREIBUNG

caml2html hübsche Drucke OCaml Quellcode als HTML- oder LaTex-Dateien. Der hübsche Druck verwendet
Farben und fügt Tooltips mit Typanmerkungen hinzu, wenn die entsprechende .annot-Datei vorhanden ist
Geschenk.

Ohne Datei Argumente, caml2html liest von der Standardeingabe. Standardmäßig wird geschrieben
Standardausgabe.

OPTIONAL

-annotfilter {innerstes|äußerstes}
Wählen Sie, ob innerste oder äußerste Typanmerkungen verwendet werden sollen (Standard:
innerste)

-Neinnicht
Fügen Sie keine Typanmerkungen ein, wenn sie aus .annot-Dateien gelesen werden (nur HTML-Ausgabe).

-ln Fügen Sie am Anfang jeder Zeile die Zeilennummer hinzu

-hc Kommentare werden als roher HTML- oder LaTeX-Code behandelt (keine Zeilenumbrüche innerhalb von Tags)

-t Fügen Sie der HTML-Seite einen Titel hinzu

-Körper Gibt nur den Hauptteil des Dokuments aus, um ihn in ein vorhandenes Dokument einzufügen (siehe auch
-make-css und -make-latex-defs)

-nf Fügen Sie der HTML-Seite keine Fußnoten hinzu

-im Kopf
Verwenden Sie den Standardstil und platzieren Sie ihn im Abschnitt des Dokuments (Standard).
Falls anwendbar)

-Zeichensatz
Geben Sie den zu verwendenden Zeichensatz an (Standard: ISO-8859-1)

-css Verwenden Sie eine separate CSS-Stildatei style.css

-cssurl
- URL als CSS

-im Einklang
Inline-Stil verwenden (nur HTML, Standard-Fallback, wenn -inhead nicht anwendbar ist)

-ie7 Die Unterstützung für Typanmerkungen in Internet Explorer 6 und älter wird eingestellt

-notab Ersetzen Sie Tabulatoren nicht durch Leerzeichen

-Tab
Tab durch n Leerzeichen ersetzen (Standard = 8)

-d
Generieren Sie Dateien im Verzeichnis dir und nicht im aktuellen Verzeichnis

-o
Ausgabedatei

-make-css
Erstellen Sie eine CSS-Datei mit Standardfarbdefinitionen und beenden Sie den Vorgang

-ext
Verwenden Sie den angegebenen externen Befehl CMD, um Kommentare zu verarbeiten, die mit beginnen (*NAME. NAME/FUNKTION
muss eine kleingeschriebene Kennung sein. Sehen Beispiele: unten mit.

-Latex Gibt LaTeX-Code anstelle von HTML aus.

-make-latex-defs
Erstellen Sie eine Datei mit den standardmäßigen LaTeX-Farbdefinitionen und -Übereinstimmungen
Hervorheben von Befehlen und Beenden. \usepackage{alltt,color} ist nicht enthalten.

-v Versionsnummer auf stdout ausgeben und beenden

-Hilfe | --help
Anzeigeoptionen und Beenden.

Beispiele:

Verarbeiten Sie viele Dateien in einer einzigen Datei:

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

Verarbeiten Sie viele Dateien und erstellen Sie für jede Datei eine HTML-Seite:

caml2html *.ml

Sie können HTML in den Kommentaren der Quelldatei verwenden, um beispielsweise Hyperlinks einzufügen:

(* Dies ist Datei1.ml.
Dies ist ein Link zu file2.ml . *)

Beachten Sie, dass sich ein HTML-Tag nicht über mehrere Zeilen erstrecken kann und dass es sich dabei um normale Zeichen handelt
<, > und & müssen als <, > und & geschrieben werden.

Maßgeschneidert Kommentar Handler Um eine Include-Direktive für Kommentare zu implementieren, verwenden Sie

caml2html -ext „include: xargs cat“ example.ml

Dann

(*i.html einschließen *)
Sei fx = 2 * x + 1

produziert

... Inhalt von i.html ...
Sei fx = 2 * x + 1

als Ergebnis.

Verwenden Sie caml2html online über die Dienste von onworks.net