diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2015-08-27 10:41:19 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2015-08-27 11:27:45 +0200 |
| commit | e6a12ff73a2e3246b9e475d9772e88c79a6249f7 (patch) | |
| tree | 2f7614aa4d9d80ba0de716ee3a7f369ef74c38ec /doc/makefile | |
| parent | b47b1222a3d23d74d59465b98d97f8871c7c8ad2 (diff) | |
allow explicit dis/enable of IndexTargets in sources options
While Target{,-Add,-Remove} is available for configuring IndexTargets
already, allow Targets to be mentioned explicitely as yes/no options as
well, so that the Target 'Contents' can be disabled via 'Contents: no'
as well as 'Target-Remove: Contents'.
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions