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 | a76d6e96fa315707c224ce7993901a89ad266ef0 (patch) | |
| tree | f899ca1ea9bf3cf4070764814dfad6869e7312af /doc/Makefile.am | |
| parent | bad22c85256d9b908b7521c2dc9b8dafdd76a7a4 (diff) | |
| download | geiser-a76d6e96fa315707c224ce7993901a89ad266ef0.tar.gz geiser-a76d6e96fa315707c224ce7993901a89ad266ef0.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 |