diff options
Diffstat (limited to 'src/config.l')
| -rw-r--r-- | src/config.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config.l b/src/config.l index 96357a5..1b73bbd 100644 --- a/src/config.l +++ b/src/config.l @@ -1113,6 +1113,7 @@ void Config::check() filePatternList.append("*.inc"); filePatternList.append("*.m"); filePatternList.append("*.mm"); + filePatternList.append("*.dox"); #if !defined(_WIN32) // unix => case sensitive match => also include useful uppercase versions filePatternList.append("*.C"); |