11.2 Batch compilation (coqc)

## 11.2 Batch compilation (`coqc`)

The `coqc` command takes a name file as argument. Then it looks for a vernacular file named file`.v`, and tries to compile it into a file`.vo` file (See 5.4).
Warning: The name file must be a regular Coq identifier, as defined in the section 1.1. It must only contain letters, digits or underscores (_). Thus it can be `/bar/foo/toto.v` but cannot be `/bar/foo/to-to.v` .
Notice that the `-byte` and `-opt` options are still available with `coqc` and allow you to select the byte-code or native-code versions of the system.