-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hamish Moffatt wrote: | 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.
You can pass "mandir=/foo/bar" to the make install to get them to install where you want. Would save you a copy. Or you can pass --mandir= to the configure line.
- -- Steve Williams "The woods are lovely, dark and deep. steve at icarus.com But I have promises to keep, http://www.icarus.com and lines to code before I sleep, http://www.picturel.com And lines to code before I sleep." -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFBaqtzrPt1Sc2b3ikRAom2AKCjOTb8Q3Jgvb9lWXvz98dn1Q/xJQCeMNrX 0qcM/1FFeZB+wVJvotd8r3Y= =3A4x -----END PGP SIGNATURE-----
