package htmlfromtexbooks

You can search for identifiers within the package.

in-package search v0.2.0

From TeX To Human-Readable HTML

Install

md5=8eafd939e9dbcb31919c5be0ed144840

sha512=4e7d13452e0a6b358e013711085500d82faf034eb03845be7de86a631fbc7b66a9aede7eba63cfd35460992c16e74de6c7db9aa152234f7dbc3acf9ab31c12ee

Module initializing eventual glossaries

Sourceval glossaries : (string, string * string) Hashtbl.t

Sourceval glossary_exists : string -> bool

Alias for Sys.file_exists

Sourceval glossary_provided : unit -> bool

Returns true if the length of the glossary is greater than 0 and false otherwise

Sourceval not_is_empty : string -> bool

returns false if a string is empty or a newline

Sourceval parse_glossary_entry : String.t -> unit

Sourceval parse_glossaries : string -> string list

Takes a glossary file and parse it in a list of string

Sourceval init_glossary : string -> unit

Sourceval total_glossaries : string -> unit

Combines parse_glosaries and parse_glossary_entry

Sourceval prints_glossary : unit -> string

Transform the glossary to an HTML file

Sourceval recognize_gls : string -> string * string

Takes a glossary descriptor and returns its name and definition