@c "cflat/opt-c.texi"
@c extracted from "../../src/main/cflat.cc"
@c by "$(top_srcdir)/scripts/extract_texinfo.awk".

@defopt -c
Indicate that input file is source, as opposed to an object file,
and needs to be compiled.
@end defopt

