diff options
| author | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2018-12-11 20:11:58 +0200 |
|---|---|---|
| committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2018-12-12 20:18:41 +0200 |
| commit | 652b1c8679c3b18e4dec11a923b53bf333451ed1 (patch) | |
| tree | 343142d50b830405fd0b64677255ed1c29a59cea /licenses/gnu-gpl-2.0.txt | |
| parent | 66bb4d388d06a79aa67393a61f46c8ea8665463f (diff) | |
Documentation: Don't hardcode install directory
Use the datadir option to select the directory in which to install
documentation. This defaults to $prefix/share so this doesn't introduce
any change in the default case.
While at it use join_paths() to join patch components instead of
hardcoding the / separator.
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to 'licenses/gnu-gpl-2.0.txt')
0 files changed, 0 insertions, 0 deletions