On Thu, Oct 07, 2004 at 04:03:10PM +0200, Wojciech Kazubski wrote: > Would it be possible to update the location of manpages in verilog binary > RPMs? > From some time (since RH 6.2, if I remember well) they are located > in /usr/share/man instead of former /usr/man. > To do this, an option > > --mandir=/usr/share/man
For the Debian packages, I let the makefile put the files into /usr/man and move them to /usr/share/man afterwards, rather than modifying the source. Hamish -- Hamish Moffatt VK3SB <[EMAIL PROTECTED]> <[EMAIL PROTECTED]>
