lambdoc
lambdoc copied to clipboard
lambcmd should set `<title>` of HTML document from `\title` by default
I get Lambdoc document
, and apparently there is an undocumented --title
command that I could use (as used by the Makefile that builds the lambtex manual).
Please document --title
in lambcmd's --help
, and set it by default to \title
from the document.
Good catch!