GNOME Bugzilla – Bug 691690
Filter functionality for example-listings
Last modified: 2013-01-14 20:33:22 UTC
Input filters specified via INPUT_FILTER or FILTER_PATTERN are not applied to the source listings of each of the @example-files. I suggest adding a switch FILTER_EXAMPLE_FILES = [YES/NO] similar to FILTER_SOURCE_FILES in order to be to apply filters to examples as well.
Argl, my bad. It works with FILTER_SOURCE_FILES set to YES. Sorry for the noise.