diff options
| author | Ricardo Ribalda <ricardo@ribalda.com> | 2020-09-24 09:19:20 +0200 |
|---|---|---|
| committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2020-09-24 21:08:30 +0300 |
| commit | aba567338b25c8cefe9e9e257d34ad3a61776276 (patch) | |
| tree | b46c8f2690d89542811bb4171d7f5b7ef190bc54 /Documentation/theme | |
| parent | 4e998cea15cf3d962473aa5faab99f939d9dc0dd (diff) | |
Documentation: Move all dependencies into features
This way if the user enables the documentation and the dependencies are
missing the configure fails.
Suggested-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Signed-off-by: Ricardo Ribalda <ricardo@ribalda.com>
Reviewed-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Diffstat (limited to 'Documentation/theme')
0 files changed, 0 insertions, 0 deletions