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