diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-31 15:53:12 +0100 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-31 15:53:12 +0100 |
commit | ffd0a91a136909c4ed481184073e868ae886e230 (patch) | |
tree | 23dcbe372eaeee9c3029315254e41882a8026d42 /doc/Makefile.am | |
parent | 449a5c9a05feed4f743d98172f78b250c6258d7a (diff) | |
parent | 9325189d4b3cfa2207c015b4f60cf397089edc9f (diff) | |
download | geiser-guile-ffd0a91a136909c4ed481184073e868ae886e230.tar.gz geiser-guile-ffd0a91a136909c4ed481184073e868ae886e230.tar.bz2 |
Merge branch 'master' into guile-meta
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 26d2a3f..247b03d 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -21,6 +21,7 @@ geiser_TEXINFOS = \ repl.texi \ fun.texi \ cheat.texi \ + thanks.texi \ index.texi output_dir=$(top_builddir)/doc/html |