diff options
| author |  Mike Burns <mike@mike-burns.com> | 2013-07-23 19:03:58 +0200 |
|---|---|---|
| committer | Mike Burns <mike@mike-burns.com> | 2013-07-23 19:03:58 +0200 |
| commit | bf87db5b38ec651e3509ea5ec02bb4c7928352e3 (patch) | |
| tree | 0dbaaf98db5a38b2f7c8c65f8f46104d80def2f3 /man | |
| parent | 3adcb218cbb42026bc0ef906b219f0e1888220cd (diff) | |
Rename libexec to share
The `/usr/local/libexec` standard looks awkward on Debian, so after
careful and sad evaluation we've concluded that we do not, in fact,
execute the `rcm.sh` library. Move it to `/usr/local/share` instead.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions