caml2html - En ligne dans le Cloud

PROGRAMME:

Nom

caml2html - jolie impression OCaml en html et latex

SYNOPSIS

caml2html [Options de ...] fichiers

DESCRIPTION

caml2html jolis imprimés OCaml code source sous forme de fichiers html ou LaTex. La jolie impression utilise
couleurs et ajoute des info-bulles avec des annotations de type si le fichier .annot correspondant est
présent.

Sans filet arguments, caml2html lit à partir de l'entrée standard. Par défaut, il écrit sur
sortie standard.

OPTIONS

-annotfilter {le plus intérieur|le plus extérieur}
choisissez si les annotations de type les plus internes ou externes doivent être utilisées (par défaut :
le plus à l'intérieur)

-non pas
ne pas insérer d'annotations de type telles que lues à partir de fichiers .annot (sortie HTML uniquement)

-ln ajouter un numéro de ligne au début de chaque ligne

-hc les commentaires sont traités comme du code HTML brut ou LaTeX (pas de nouvelles lignes à l'intérieur des balises)

-t ajouter un titre à la page HTML

-corps afficher uniquement le corps du document, pour l'inclure dans un document existant (voir aussi
-make-css et -make-latex-defs)

-nf ne pas ajouter de notes de bas de page à la page HTML

-en tête
utilisez le style par défaut et placez-le dans le section du document (par défaut
le cas échéant)

-jeu de caractères
spécifier le jeu de caractères à utiliser (par défaut : iso-8859-1)

-css utiliser un fichier de style CSS séparé style.css

-cssurl
utilisé URL comme CSS

-en ligne
utiliser le style en ligne (HTML uniquement, retour par défaut si -inhead n'est pas applicable)

-ie7 suppression de la prise en charge des annotations de type sur Internet Explorer 6 et versions antérieures

-notab ne remplacez pas les tabulations par des espaces

-languette
remplacer la tabulation par n espaces (par défaut = 8)

-d
générer des fichiers dans le répertoire dir, plutôt que dans le répertoire courant

-o
fichier de sortie

-faire-css
créer un fichier CSS avec les définitions de couleurs par défaut et quitter

-ext
utilisez la commande externe CMD pour gérer les commentaires commençant par (*NOM. Nom
doit être un identifiant en minuscules. Voir EXEMPLES ci-dessous.

-latex sortie du code LaTeX au lieu de HTML.

-make-latex-defs
créer un fichier contenant les définitions de couleurs LaTeX par défaut et leur correspondance
surligner les commandes et quitter. \usepackage{alltt,color} n'est pas inclus.

-v imprimer le numéro de version sur stdout et quitter

-Aide | --Aidez-moi
Afficher les options et quitter.

EXEMPLES

Traiter de nombreux fichiers en un seul fichier :

caml2html -o résultat.html *.mli *.ml

Traitez de nombreux fichiers et créez une page HTML pour chaque fichier :

caml2html *.ml

Vous pouvez utiliser du HTML dans les commentaires du fichier source, par exemple, pour insérer des hyperliens :

(* Il s'agit de file1.ml.
Ceci est un lien vers file2.ml . *)

Notez qu'une balise HTML ne peut pas s'étendre sur plusieurs lignes et que les caractères ordinaires
<, > et & doivent être écrits sous la forme <, > et &.

Personnalisé commentaire Manipulateurs Pour implémenter une directive d'inclusion pour les commentaires, utilisez

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

Ensuite

(*inclure i.html *)
soit fx = 2 * x + 1

produit

... contenu de i.html ...
soit fx = 2 * x + 1

à la suite.

Utilisez caml2html en ligne à l'aide des services onworks.net