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

@defopt -c
Pass to indicate that input file is a source (to be compiled)
as opposed to an object file.
@end defopt

