diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index a9a072225..25b1bb247 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -49,3 +49,5 @@ guile-api.alist: guile-api.alist-FORCE ( cd $(top_builddir) ; $(mscripts)/update-guile-api.alist ) guile-api.alist-FORCE: endif + +info_TEXINFOS = guile-vm.texi |