Subject: Re: bug#65649: [PATCH] package-vc: Continue installing package when documentation build fails

From: Eli Zaretskii <[email-masked]>
Date: Thu, 31 Aug 2023 09:50:31 +0300

> Cc: Philip Kaludercic <[email-masked]>
> Date: Wed, 30 Aug 2023 23:26:35 -0700
> From:  Joseph Turner via "Bug reports for GNU Emacs,
>  the Swiss army knife of text editors" <[email-masked]>
> 
> In light of the recent fix regarding building documentation from
> org-mode files, I think it makes sense to ensure that installation
> continues even without documentation.

I don't think we should do this silently.  The user should be asked
to confirm, at the very least.