diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-31 03:40:08 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-10-31 03:40:08 +0100 |
| commit | 8cac756f12b4907823968db3fbc5c5e78361ecd5 (patch) | |
| tree | ec71fabff0ef7a89d51ba98a5be544510897174c /doc/Makefile.am | |
| parent | 12ae61a4ae8c0812ceeaece91ed09116bf9db1cf (diff) | |
| download | geiser-8cac756f12b4907823968db3fbc5c5e78361ecd5.tar.gz geiser-8cac756f12b4907823968db3fbc5c5e78361ecd5.tar.bz2 | |
Documented thanks
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 |