diff options
author | Tom Gundersen <teg@jklm.no> | 2015-06-18 19:47:44 +0200 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2015-06-18 19:47:44 +0200 |
commit | 12b42c76672a66c2d4ea7212c14f8f1b5a62b78d (patch) | |
tree | 0a9f5aff7fc2f144765f936c618c563568edba1f /man/.gitignore | |
parent | 74b1f5276365bbdf02dacec707fb9c40509650b4 (diff) |
man: revert dynamic paths for split-usr setups
This did not really work out as we had hoped. Trying to do this upstream
introduced several problems that probably makes it better suited as a
downstream patch after all. At any rate, it is not releaseable in the
current state, so we at least need to revert this before the release.
* by adjusting the path to binaries, but not do the same thing to the
search path we end up with inconsistent man-pages. Adjusting the search
path too would be quite messy, and it is not at all obvious that this is
worth the effort, but at any rate it would have to be done before we
could ship this.
* this means that distributed man-pages does not make sense as they depend
on config options, and for better or worse we are still distributing
man pages, so that is something that definitely needs sorting out before
we could ship with this patch.
* we have long held that split-usr is only minimally supported in order
to boot, and something we hope will eventually go away. So before we start
adding even more magic/effort in order to make this work nicely, we should
probably question if it makes sense at all.
Diffstat (limited to 'man/.gitignore')
0 files changed, 0 insertions, 0 deletions