Better connection logs
[geiser.git] / doc / Makefile.am
blobf2b16bbf03d761415d165ecfb09e05a5e0174e24
1 # Copyright (C) 2010 Jose Antonio Ortega Ruiz
3 # This file is free software; as a special exception the author gives
4 # unlimited permission to copy and/or distribute it, with or without
5 # modifications, as long as this notice is preserved.
7 # This program is distributed in the hope that it will be useful, but
8 # WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
9 # implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
11 # SUBDIRS = img
12 SUFFIXES = .html
13 EXTRA_DIST = geiser.css site.conf web.texi
15 info_TEXINFOS = geiser.texi
16 geiser_TEXINFOS = \
17   macros.texi \
18   top.texi \
19   intro.texi \
20   install.texi \
21   repl.texi \
22   parens.texi \
23   cheat.texi \
24   thanks.texi \
25   index.texi
27 output_dir=$(top_builddir)/doc/html
29 web:
30         rm -f $(output_dir)/*.html
31         texi2html --output=$(output_dir) \
32                   --split=chapter \
33                   --noheader \
34                   --nonumber-section \
35                   --init-file=$(top_srcdir)/doc/site.conf \
36                   --top-file=index.html \
37                   $(top_srcdir)/doc/web.texi
38         cp $(top_srcdir)/doc/geiser.css ${output_dir}
39         cp -r $(top_srcdir)/doc/img ${output_dir}