Re: [PATCH 1/3] docs: generate a separate ext4 pdf file from the documentation

["Theodore Y. Ts'o" <tytso@xxxxxxx>]

On Wed, Sep 26, 2018 at 12:05:37PM -0700, Darrick J. Wong wrote:
> From: Darrick J. Wong <darrick.wong@xxxxxxxxxx>
> 
> The documentation build scripts won't build a pdf for the ext4
> documentation unless explicitly called for, so ask for a separate
> ext4.pdf to be generated with all the documentation.
> 
> Signed-off-by: Darrick J. Wong <darrick.wong@xxxxxxxxxx>

Applied, thanks.

					- Ted