diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-10 10:45:58 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-10 10:45:58 +0100 |
| commit | b38eba3c9806f050d942353bb9e18ed9fb1a58d4 (patch) | |
| tree | d4ff250d3520c099fb0cc0df3d8991efb8d0048e /exportclight | |
| parent | 5df29e2caa1ec95a3ddbcaf49d686998b0696855 (diff) | |
| download | compcert-kvx-b38eba3c9806f050d942353bb9e18ed9fb1a58d4.tar.gz compcert-kvx-b38eba3c9806f050d942353bb9e18ed9fb1a58d4.zip | |
Minor improvements.
Diffstat (limited to 'exportclight')
| -rw-r--r-- | exportclight/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/exportclight/README.md b/exportclight/README.md index 7252ff8a..85e0790b 100644 --- a/exportclight/README.md +++ b/exportclight/README.md @@ -19,8 +19,8 @@ Change to the top-level CompCert directory and issue ``` clightgen [options] <C source files> ``` -For each source file "src.c", its Clight abstract syntax is generated -in "src.v". +For each source file `src.c`, its Clight abstract syntax is generated +in `src.v`. The options recognized are a subset of those of the CompCert compiler ccomp (see [user's manual](http://compcert.inria.fr/man/manual003.html) for full documentation): |