Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Even though we filter out some documentation sources when building fvwm3 (due to FvwmConsole not always being needed if FvwmPrompt is being used), we still need to make sure that *all* sources are included, as this is something which can be decided at ./configure time.
- Loading branch information