diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-23 14:43:27 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-08-23 14:43:27 +0200 |
| commit | feb55ebfdc536c32de2c173d108df5ee0004da44 (patch) | |
| tree | 2f3cc4c9656c3308398bad1dd333c762aed403a4 /doc/.gitignore | |
| parent | 5e2f713a1828f2795b85f5343f62ecafff0d475a (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