caml2html - Интернет в облаке

ПРОГРАММА:

ИМЯ

caml2html - красивая печать OCaml в html и latex

СИНТАКСИС

камл2html [Параметры ...] файлов...

ОПИСАНИЕ

камл2html красивые принты OCaml исходный код в виде файлов html или LaTex. Красивая печать использует
раскрашивает и добавляет всплывающие подсказки с аннотациями типов, если соответствующий файл .annot
настоящее время.

Без файл аргументы, камл2html читает со стандартного ввода. По умолчанию он пишет в
стандартный вывод.

ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ

-аннотфильтр {самый внутренний | самый внешний}
выберите, следует ли использовать аннотации самого внутреннего или самого внешнего типа (по умолчанию:
самое сокровенное)

-нет
не вставлять аннотации типов как прочитанные из файлов .annot (только вывод HTML)

-ln добавить номер строки в начало каждой строки

-hc комментарии обрабатываются как необработанный код HTML или LaTeX (без символов новой строки внутри тегов)

-t добавить заголовок на HTML-страницу

-Боди выводить только тело документа для включения в существующий документ (см. также
-make-css и -make-latex-defs)

-нф не добавляйте сноски на HTML-страницу

-в голове
используйте стиль по умолчанию и поместите его в раздел документа (по умолчанию
если применимо)

-символ
укажите кодировку для использования (по умолчанию: iso-8859-1)

-css использовать отдельный файл стилей CSS style.css

-cssurl
использование URL как CSS

-в линию
использовать встроенный стиль (только HTML, откат по умолчанию, если -inhead не применим)

-ie7 отказаться от поддержки аннотаций типов в Internet Explorer 6 и более ранних версиях

-нотаб не заменяйте табуляции пробелами

-вкладка
заменить табуляцию на n пробелов (по умолчанию = 8)

-d
генерировать файлы в каталоге dir, а не в текущем каталоге

-o
выходной файл

-сделать-CSS
создать файл CSS с определениями цвета по умолчанию и выйти

-доб.
используйте данную внешнюю команду CMD для обработки комментариев, начинающихся с (*ИМЯ. ИМЯ
должен быть идентификатором в нижнем регистре. Видеть ПРИМЕРЫ внизу.

-латекс выводить код LaTeX вместо HTML.

-make-латекс-defs
создать файл, содержащий определения цветов LaTeX по умолчанию и соответствующие
выделение команд и выход. \ usepackage {alltt, color} не включен.

-v напечатать номер версии на стандартный вывод и выйти

-Помощь | --Помогите
Показать параметры и выйти.

ПРИМЕРЫ

Объедините множество файлов в один:

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

Обработайте много файлов и создайте по одной HTML-странице для каждого файла:

caml2html * .ml

Вы можете использовать HTML в комментариях к исходному файлу, например, для вставки гиперссылок:

(* Это file1.ml.
Это ссылка на file2.ml . *)

Обратите внимание, что один тег HTML не может занимать несколько строк и что обычные символы
<,> и & должны быть записаны как <,> и &.

На заказ комментарий обработчики Чтобы реализовать директиву include для комментариев, используйте

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

Затем

(* включить i.html *)
пусть fx = 2 * x + 1

производит

... содержание i.html ...
пусть fx = 2 * x + 1

в результате.

Используйте caml2html в Интернете с помощью сервисов onworks.net