coq-interface.opt(1) on Linux

Flags it lists

• -batch
• -boot
• -byte
• -compile
• -compile-verbose
• -dont-load-proofs
• -dump-glob
• -emacs
• -h
• -impredicative-set
• -init-file
• -inputstate
• -is
• -l
• -load-ml-object
• -load-ml-source
• -load-vernac-object
• -load-vernac-source
• -load-vernac-source-verbose
• -lv
• -nois
• -opt
• -outputstate
• -q
• -require
• -src
• -user
• -v
• -where
• -xml