diff options
| author | Justin M. Keyes <justinkz@gmail.com> | 2016-06-18 11:45:52 -0400 |
|---|---|---|
| committer | Justin M. Keyes <justinkz@gmail.com> | 2016-06-18 12:22:42 -0400 |
| commit | cbda7d85f867d3786d7f2cc7dd5e22c3575285a4 (patch) | |
| tree | a5328e459eab55affde8c74fe6aa2cb0fbf95b9a /src | |
| parent | a59330d6fc9917455d6081399222df833751db94 (diff) | |
| download | rneovim-cbda7d85f867d3786d7f2cc7dd5e22c3575285a4.tar.gz rneovim-cbda7d85f867d3786d7f2cc7dd5e22c3575285a4.tar.bz2 rneovim-cbda7d85f867d3786d7f2cc7dd5e22c3575285a4.zip | |
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.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions