virtualbox-ose patch

[Jung-uk Kim]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 2014-05-09 13:47:56 -0400, Miroslav Lachman wrote:
> Jung-uk Kim wrote:
>> -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
>> 
>> On 2014-05-08 16:37:56 -0400, Cy Schubert wrote:
>>> Hi,
>>> 
>>> Enclosed is a patch to install VirtualBox documentation,
>>> making help work. The patch is for the main port however a
>>> similar patch could be used for the legacy ports as well.
>>> 
>>> Would it be possible to include this or would you mind if I 
>>> committed it?
>> 
>> Sorry, I don't like this.  There is no point of downloading the
>> manual because it can be easily built from source.
>> 
>> I'll fix it when I find some free time.
> 
> Is it really better to build PDF manual in the price of more build 
> dependencies instead of one easy download?

In fact, I don't think it is necessary to install user manual in the
first place because the help menu lets you install the manual under
user's home directory if it does not exists in system-wide location.
I'll fix the doc generation but turn it off by default.

Jung-uk Kim
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (FreeBSD)

iQEcBAEBAgAGBQJTbRfOAAoJEHyflib82/FGIe0H/i8w/TSicjWjpB5cOf8pVokw
3hGbo4I+OagOvrpcYRfeBDQhjlfB4/g2Cre4RPXz5Gk8GkJf3zUWls7NqKy5F52b
Qez3iEcmwpOxVFBcPZOSBZSgMdhabIz836SzWFZoMj3LTWlTmEN2cemrQY2+Mdjs
6nNUMVFNF03USb3YDNb1QaHZTtcl1PXsrvumIyrqRAMIs+XMu3AVkmfv7i2EYC8p
y4jp+Ok25KB9yp2hBG8sE6B3YbSWvBNSeALuu/OoQxEZH78d3XKm5D8x4MfPYgOX
+g4h82On2QrJI+v+r4p2U0ZNLpQalOV7WEPkWz+f4ZgCmUG7I4l05vjfXVQK+M4=
=0xUn
-----END PGP SIGNATURE-----