summaryrefslogtreecommitdiff
path: root/licenses/gnu-gpl-2.0.txt
diff options
context:
space:
mode:
authorLaurent Pinchart <laurent.pinchart@ideasonboard.com>2018-12-11 20:11:58 +0200
committerLaurent Pinchart <laurent.pinchart@ideasonboard.com>2018-12-12 20:18:41 +0200
commit652b1c8679c3b18e4dec11a923b53bf333451ed1 (patch)
tree343142d50b830405fd0b64677255ed1c29a59cea /licenses/gnu-gpl-2.0.txt
parent66bb4d388d06a79aa67393a61f46c8ea8665463f (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