diff options
Diffstat (limited to 'exportclight/README.md')
| -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): |