Hi Vadim, Vadim Zhukov wrote on Wed, May 07, 2014 at 09:49:39PM +0400: > 07.05.2014 21:29 Ingo Schwarze:
>> Really, you must remove USE_GROFF from the Makefile, even though >> that will break some of the pages. The license plainly doesn't >> allow distributing the manuals without distributing the source. > Hm-m-m, we could just distribute packaged source files somewhere under > /usr/local/share, can't we? IMHO, it's better to fill disk a bit more > than to provide incorrect info. It's not incorrect info, it's just imcomplete info, and it affects only a few pages using tbl(7). At some point, i will fix our tbl(7) implementation in mandoc(1), and the problem will go away without even the need to bump the port. Sure, you can install two copies of everything. I wouldn't strongly object to that, but does it really make things better? You could also go without USE_GROFF and additionally install the cat versions just for those pages containing tbl(7) code mandoc doesn't handle yet, making sure that the time stamps of the cat files are newer than those of the man files, such that man(1) selects the cat versions where available. But that's quite some work to set up correctly, and it will become obsolete once tbl(7) is fixed. Three possibilities - so much choice... :-) I guess ultimately, it's your call. Yours, Ingo
