+# SPDX-License-Identifier: GPL-2.0
###
# This makefile is used to generate the kernel documentation,
# primarily based on in-line comments in various source files.
# to document the SRC - and how to read it.
# To add a new book the only step required is to add the book to the
# list of DOCBOOKS.
-#
-# SPDX-License-Identifier: GPL-2.0
-#
-DOCBOOKS := linker_lists.xml stdio.xml
+DOCBOOKS := efi.xml linker_lists.xml stdio.xml
###
# The build process is as follows (targets):