caml2html - Trực tuyến trên Đám mây

CHƯƠNG TRÌNH:

TÊN

caml2html - OCaml in đẹp trong html và latex

SYNOPSIS

caml2html [Tùy chọn ...] các tập tin...

MÔ TẢ

caml2html bản in đẹp OCaml mã nguồn dưới dạng tệp html hoặc LaTex. Sử dụng in ấn đẹp
màu sắc và thêm các mẹo công cụ với chú thích loại nếu tệp .annot tương ứng là
hiện tại.

Nếu không có hồ sơ tranh luận, caml2html đọc từ đầu vào chuẩn. Theo mặc định, nó ghi vào
đầu ra tiêu chuẩn.

LỰA CHỌN

-annotfilter {trong cùng | ngoài cùng}
chọn xem nên sử dụng chú thích loại trong cùng hay ngoài cùng (mặc định:
trong cùng)

-noannot
không chèn chú thích loại khi đọc từ tệp .annot (chỉ đầu ra HTML)

-ln thêm số dòng ở đầu mỗi dòng

-hc nhận xét được coi là HTML thô hoặc mã LaTeX (không có dòng mới bên trong thẻ)

-t thêm tiêu đề vào trang HTML

-thân hình chỉ xuất phần thân của tài liệu, để đưa vào tài liệu hiện có (xem thêm
-make-css và -make-latex-defs)

-nf không thêm chú thích cuối trang vào trang HTML

-trong đầu
sử dụng kiểu mặc định và đặt nó vào phần của tài liệu (mặc định
khi áp dụng)

-bộ ký tự
chỉ định bộ ký tự để sử dụng (mặc định: iso-8859-1)

-css sử dụng tệp kiểu CSS riêng biệt style.css

-cssurl
sử dụng URL như CSS

-nội tuyến
sử dụng kiểu nội tuyến (chỉ HTML, dự phòng mặc định nếu -inhead không áp dụng được)

-ie7 bỏ hỗ trợ cho các loại chú thích trên Internet Explorer 6 trở lên

-notab không thay thế các tab bằng dấu cách

-chuyển hướng
thay thế tab bằng n khoảng trắng (mặc định = 8)

-d
tạo tệp trong thư mục dir, thay vì trong thư mục hiện tại

-o
tập tin đầu ra

-make-css
tạo tệp CSS với định nghĩa màu mặc định và thoát

-ext
sử dụng lệnh bên ngoài CMD đã cho để xử lý các nhận xét bắt đầu bằng (*TÊN. TÊN
phải là một định danh viết thường. Nhìn thấy VÍ DỤ phía dưới.

-mủ cao su xuất mã LaTeX thay vì HTML.

-make-latex-defs
tạo một tệp chứa các định nghĩa và đối sánh màu LaTeX mặc định
đánh dấu các lệnh và thoát. \ usepackage {alltt, color} không được bao gồm.

-v in số phiên bản để stdout và thoát

-Cứu giúp | --Cứu giúp
Hiển thị các tùy chọn và thoát.

VÍ DỤ

Xử lý nhiều tệp thành một tệp duy nhất:

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

Xử lý nhiều tệp và tạo một trang HTML cho mỗi tệp:

caml2html * .ml

Ví dụ: bạn có thể sử dụng HTML trong các chú thích của tệp nguồn để chèn các siêu liên kết:

(* Đây là file1.ml.
Đây là một liên kết đến file2.ml . *)

Lưu ý rằng một thẻ HTML không thể kéo dài trên nhiều dòng và các ký tự thông thường
<,> và & phải được viết thành <,> và &.

Tuỳ chỉnh bình luận người xử lý Để triển khai chỉ thị bao gồm cho các nhận xét, hãy sử dụng

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

Sau đó

(* bao gồm i.html *)
cho fx = 2 * x + 1

sản xuất

... bối cảnh của i.html ...
cho fx = 2 * x + 1

kết quả là.

Sử dụng caml2html trực tuyến bằng các dịch vụ onworks.net