diff --git a/doc/local.mk b/doc/local.mk
index a77e148f3e..b47e47f78c 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -52,6 +52,7 @@ info_TEXINFOS = %D%/guix.texi			\
   %D%/guix-cookbook.sv.texi
 
 %C%_guix_TEXINFOS = \
+  $(OS_CONFIG_EXAMPLES_TEXI) \
   %D%/contributing.texi \
   %D%/fdl-1.3.texi