diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 15:25:02 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 15:25:02 +0200 |
| commit | 6eccf7716be251d9c5fb4e2457ae77f278af19f1 (patch) | |
| tree | e58cd437ad67dca529b2f624dadee892c3dcdcd2 /doc/Makefile.am | |
| parent | 31b0547f7a37272c3a9bc111d6954e9859ed69ab (diff) | |
| download | geiser-chez-6eccf7716be251d9c5fb4e2457ae77f278af19f1.tar.gz geiser-chez-6eccf7716be251d9c5fb4e2457ae77f278af19f1.tar.bz2 | |
Web pages sync'd
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index d15fabf..ba3d88c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -10,11 +10,18 @@ # SUBDIRS = img SUFFIXES = .html -EXTRA_DIST = geiser.css site.conf +EXTRA_DIST = geiser.css site.conf web.texi info_TEXINFOS = geiser.texi -geiser_TEXINFOS = top.texi intro.texi install.texi tutorial.texi index.texi +geiser_TEXINFOS = \ + macros.texi \ + top.texi \ + intro.texi \ + install.texi \ + repl.texi \ + fun.texi \ + index.texi output_dir=$(top_builddir)/doc/html |