diff options
| author | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2011-12-10 16:53:39 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2011-12-10 16:53:39 +0000 |
| commit | b8579b74ff1892006eaa65985341c07bc58614fc (patch) | |
| tree | 4a3176cd96d09e4d42cc9bbe5016909e4dee5509 /games/random/Makefile | |
| parent | b9669a8d3fc4610c2b3c85c26ed6ea8a7f8edc5e (diff) | |
Fix selection of arch-specific manuals:
(1) Correctly compare cat vs. man paths.
(2) Compare arch (and section) names case-insensitively.
Problem noticed by kristaps@.
Diffstat (limited to 'games/random/Makefile')
0 files changed, 0 insertions, 0 deletions