aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-08-23 14:43:27 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-08-23 14:43:27 +0200
commitfeb55ebfdc536c32de2c173d108df5ee0004da44 (patch)
tree2f3cc4c9656c3308398bad1dd333c762aed403a4 /doc/.gitignore
parent5e2f713a1828f2795b85f5343f62ecafff0d475a (diff)
Add support for installing into a different file name
Now the install variable is a path, not dir_path. If it is a directory (ends with a trailing slash), then the target is installed into this directory with the same name. Otherwise, the entire path is used as the installation destination.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions