diff options
| author | Lucas Werkmeister <mail@lucaswerkmeister.de> | 2017-03-21 01:32:23 +0100 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-03-20 20:32:23 -0400 |
| commit | 83ddf5d3d8eec696b0e9f2ddf3191e215b0a8498 (patch) | |
| tree | 980d207fca66cc57218b3faefb7db77f62913dfa /src | |
| parent | 60705040152c9953a200eea16fffb5fef894c613 (diff) | |
man: change /lib to /usr/lib (#5618)
Per man:file-hierarchy(7), /lib is just a compatibility symlink; the
other manpages also refer to /usr/lib.
Found with:
git grep -P '(?<!/usr|/var|local)/lib' man/
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions