From ebe3e8ec4a09edbb8a5b2dde88b6c479b03c0be9 Mon Sep 17 00:00:00 2001
From: albert-github <albert.tests@gmail.com>
Date: Sun, 15 Mar 2015 18:44:07 +0100
Subject: [PATCH] Internal debug option -d lex is not described

The Internal debug option -d lex had not been described.
---
 src/doxygen.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/doxygen.md b/src/doxygen.md
index 9a9d726971f..4caa1981250 100644
--- a/src/doxygen.md
+++ b/src/doxygen.md
@@ -168,6 +168,10 @@ easy ways to get debug information.
     command is specified)
   - validate<br>
     Currently not used
+  - lex<br>
+    Provide output of the `lex` files used. When a lexer ais started and when a lexer
+    ends the name of `lex` file is given so it is possible to see in which lexer the
+    problem occurs. This makes it easier to select the file to be compiled in `lex` debug mode.
 
 Producing output
 ----------------