From 9aa80620a74f75ee3b042c458fa6252177362664 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 28 Apr 2015 10:35:34 +0200
Subject: [PATCH] doc: Little prologue to options section

---
 doc/options.rst | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/doc/options.rst b/doc/options.rst
index 4f7848be4..873bfeef1 100644
--- a/doc/options.rst
+++ b/doc/options.rst
@@ -3,7 +3,15 @@
 Command Line Options
 ====================
 
-Here is an overview of the command-line options that Leon recognizes: 
+Leon's command line options have the form ``--option`` or ``--option=value``.
+To enable a flag option, use ``--option=true`` or ``on`` or ``yes``,
+or just ``--option``. To disable a flag option, use ``--option=false``
+or ``off`` or ``no``.
+
+Additionally, if you need to pass options to the ``scalac`` frontend of Leon,
+you can do it by using a single dash ``-``. For example, ``-Ybrowse:typer``.
+
+The rest of this section presents all command-line options that Leon recognizes.
 
 Choosing which Leon feature to use
 ---------------------------
-- 
GitLab