diff options
| author |  pl <pl@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2001-12-16 11:32:59 +0000 |
|---|---|---|
| committer | pl <pl@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2001-12-16 11:32:59 +0000 |
| commit | e347eec90f8439166c87e23e384d8fae02d09a4c (patch) | |
| tree | 0685ae7f33c654238e377f97c21f17c7b84f0a0e /configure | |
| parent | 5f1055cda6eb80ebe05b14da3f6ab8871755fbf3 (diff) | |
Patch by Adam Di Carlo <adam@onshore-devel.com>:
* Makefile: use a mandir setting, default to ${prefix}/man; this lets
us override it for Debian for instance which uses /usr/share/man
rather than /usr/man
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@3520 b3059339-0415-0410-9bf9-f77b7e298cf2
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions