General output options:
-E, --macro-expand=FILE output macro-expanded source to FILE,
ignoring any @setfilename.
--no-headers suppress node separators, Node: lines, and menus
from Info output (thus producing plain text)
or from HTML (thus producing shorter output);
also, write to standard output by default.
--no-split suppress the splitting of Info or HTML output,
generate only one output file.
--number-sections output chapter and sectioning numbers.
-o, --output=FILE output to FILE (or directory if split HTML).