path: root/Documentation/
diff options
authorDarrick J. Wong <>2018-10-02 22:40:32 -0400
committerTheodore Ts'o <>2018-10-02 22:40:32 -0400
commite5f0926115a4a40ed1cd0d3ce8b09bb88be73ab9 (patch)
treea8b054b7c4fc4517a4ae32b84d1c365123a526c3 /Documentation/
parent401b25aa1a75e7fe4e3202a6336604269697d705 (diff)
docs: generate a separate ext4 pdf file from the documentation
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 <> Signed-off-by: Theodore Ts'o <>
Diffstat (limited to 'Documentation/')
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/ b/Documentation/
index b691af4831fa..05dad6bda787 100644
--- a/Documentation/
+++ b/Documentation/
@@ -383,6 +383,8 @@ latex_documents = [
'The kernel development community', 'manual'),
('filesystems/index', 'filesystems.tex', 'Linux Filesystems API',
'The kernel development community', 'manual'),
+ ('filesystems/ext4/index', 'ext4.tex', 'ext4 Filesystem',
+ 'ext4 Filesystem Developers', 'manual'),
('gpu/index', 'gpu.tex', 'Linux GPU Driver Developer\'s Guide',
'The kernel development community', 'manual'),
('input/index', 'linux-input.tex', 'The Linux input driver subsystem',