mirror of
https://github.com/neovim/neovim.git
synced 2024-12-23 20:55:18 -07:00
build: Revert 464bc16
.
This was more trouble than it is worth: - remove_directory fails if doc/ is not owned by the user - some devs build in-tree, then deleting doc/ breaks the build - `make install` isn't affected by the stale files at all: the tags are built before install-time So, reverting this change means only that devs who use a build/ directory will need to delete build/runtime/doc/ on the occasion that we rename a doc file.
This commit is contained in:
parent
a59330d6fc
commit
cbda7d85f8
@ -27,7 +27,6 @@ foreach(DF ${DOCFILES})
|
|||||||
endforeach()
|
endforeach()
|
||||||
|
|
||||||
add_custom_target(helptags
|
add_custom_target(helptags
|
||||||
COMMAND ${CMAKE_COMMAND} -E remove_directory ${GENERATED_RUNTIME_DIR}/doc
|
|
||||||
COMMAND ${CMAKE_COMMAND} -E copy_directory
|
COMMAND ${CMAKE_COMMAND} -E copy_directory
|
||||||
${PROJECT_SOURCE_DIR}/runtime/doc ${GENERATED_RUNTIME_DIR}/doc
|
${PROJECT_SOURCE_DIR}/runtime/doc ${GENERATED_RUNTIME_DIR}/doc
|
||||||
COMMAND "${PROJECT_BINARY_DIR}/bin/nvim"
|
COMMAND "${PROJECT_BINARY_DIR}/bin/nvim"
|
||||||
|
Loading…
Reference in New Issue
Block a user