--- addon/doxywizard/config.l 2004-07-21 18:37:13.000000000 +0200 +++ addon/doxywizard/config.l 2004-08-23 17:45:44.000000000 +0200 @@ -408,6 +408,7 @@ %} +%option never-interactive %option nounput %option noyywrap