diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index c66fd80d382..9bc783e0d07 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -2093,6 +2093,7 @@ GnuPG-based password manager like @code{pass}.")
            perl
            python
            python-sphinx
+           python-pyyaml
            texinfo
            which))
     (synopsis "Documentation for the kernel Linux-Libre")