Opzioni generali di output:
-E, --macro-expand=FILE scrive un file FILE con i sorgenti delle macro espanse,
ignorando qualunque @setfilename.
--no-headers disabilita i separatori dei nodi, Node: le
righe Node e i menù nell'output Info
(generando così un file di testo)
o dal formato HTML (generando così un
file più corto).
Inoltre, se genera il formato Info,
scrive sullo standard output in
modo predefinito
--no-split ignora la scrittura multipagina dell'output;
genera un solo file di output.
--[no-]number-sections scrive capitoli e numeri di sezione;
il valore predefinito è on.
-o, --output=DEST scrive su DEST.
Con la scrittura multipagina, crea
DEST come una directory e posiziona lì
il file di output.
Senza la scrittura multipagina, se
DEST è già una directory o termina
con uno «/», posiziona lì il file
di output.
Altrimenti, DEST dà il nome al file
di output.