Re: [Qemu-devel] [PATCH][RFC] Make documentation optional

[Bernhard Fischer]

On Fri, Feb 10, 2006 at 09:59:55AM +0100, Michael Renzmann wrote:
>Hi.
>
>On Fri, 2006-02-10 at 09:54 +0100, Bernhard Fischer wrote:
>> What about just doing this
>>      -install -m 644 qemu-doc.html  qemu-tech.html "$(docdir)"
>
>That would work, but the user won't be noticed of the fact that parts of
>the documentation isn't generated.

Not quite, you'll get
texi2html -monolithic etc failed
make: Error (ignored)

and the build will move on.