From b38eba3c9806f050d942353bb9e18ed9fb1a58d4 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 10 Jan 2018 10:45:58 +0100
Subject: Minor improvements.

---
 exportclight/README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'exportclight')

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):
-- 
cgit