diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2018-02-19 21:10:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-19 21:10:16 +0100 |
| commit | 06b7561e785afc9ad0bb66b789a450b96605fd97 (patch) | |
| tree | 1d7302f853a0b4d2f1c8d2156b56864539a4e1c7 /scripts/check-includes.py | |
| parent | 00665d3c701ef1b6b276f750a772a6aa8a42c8c1 (diff) | |
| download | rneovim-06b7561e785afc9ad0bb66b789a450b96605fd97.tar.gz rneovim-06b7561e785afc9ad0bb66b789a450b96605fd97.tar.bz2 rneovim-06b7561e785afc9ad0bb66b789a450b96605fd97.zip | |
build: remove contents of build/runtime/doc/* surgically (#8024)
Only remove the directory contents. If the directory itself is removed,
then `sudo make install` creates a root-owned …/doc/ directory. That
breaks the next non-root build.
This was an accident of 0b1904d835a2.
Note: the following does not work, because it misses renamed help files
(which would no longer be in the build-tree definition)
COMMAND ${CMAKE_COMMAND} -E remove ${BUILDDOCFILES} ${GENERATED_HELP_TAGS}
Diffstat (limited to 'scripts/check-includes.py')
0 files changed, 0 insertions, 0 deletions