diff --git a/doc/ref/Makefile.am b/doc/ref/Makefile.am
index b7ea8f0a7..a5873434d 100644
--- a/doc/ref/Makefile.am
+++ b/doc/ref/Makefile.am
@@ -21,10 +21,9 @@
 
 AUTOMAKE_OPTIONS = gnu
 
-BUILT_SOURCES = lib-version.texi
+BUILT_SOURCES = lib-version.texi standard-library.texi
 
 info_TEXINFOS = guile.texi
-nodist_info_TEXINFOS = standard-library.texi
 
 guile_TEXINFOS = preface.texi			\
                  intro.texi			\