diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm
index 41e33a24b5..029672721f 100644
--- a/gnu/packages/bootloaders.scm
+++ b/gnu/packages/bootloaders.scm
@@ -575,6 +575,7 @@ (define-public dtc
     (build-system gnu-build-system)
     (arguments
      (list
+      #:modules `(,@%gnu-build-system-modules (srfi srfi-26))
       #:make-flags
       #~(list (string-append "CC=" #$(cc-for-target))
               ;; /bin/fdt{get,overlay,put} need help finding libfdt.so.1.
@@ -590,7 +591,15 @@ (define-public dtc
                              "tests/run_tests.sh")
                 (("pkg-config")
                  #$(pkg-config-for-target)))))
-          (delete 'configure))))        ;no configure script
+          (delete 'configure)           ;no configure script
+          (add-before 'build 'install-doc
+            (lambda _
+              (with-directory-excursion "Documentation"
+                (for-each (cut install-file <> (string-append
+                                                #$output "/share/doc/dtc/"))
+                          '("dts-format.txt"
+                            "dt-object-internal.txt"
+                            "manual.txt"))))))))
     (native-inputs
      (append
       (list bison