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 should be added to a configure line in a specfile. Additionally mandir= $RPM_BUILD_ROOT/usr/share/man should be added to make install line. Changes have to be done in two places since install section of Makefile does not support $DESTDIR prefix To simplify the specfile a bit, all occurencies of : %attr (-,root,root) can be replaced with a single: %defattr (-,root,root) at the begining of %files section. Wojciech Kazubski
