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 | c96cb3b6e00bae599837c387c89e46f1bcc14b46 (patch) | |
| tree | 374c81fdbb3e3c52340f0c5269298525c73c9151 /doc/Makefile.am | |
| parent | b78e5a74dfab69f65d5ef830da581865bf769802 (diff) | |
| parent | 237bad79cdeadd26cdfb446d8059c5ac6ca08415 (diff) | |
| download | geiser-c96cb3b6e00bae599837c387c89e46f1bcc14b46.tar.gz geiser-c96cb3b6e00bae599837c387c89e46f1bcc14b46.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 |