diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:47:58 +0200 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-22 01:47:58 +0200 |
commit | f589a23f15b75798618c59f05c258cc8b8b39187 (patch) | |
tree | 863fdc2eaf40ce82cecc8ec86e9938c7022d49b7 /doc/Makefile.am | |
parent | 413f6f7afd466ec0e2da4c97f2f9b08407b6e155 (diff) | |
download | geiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.gz geiser-f589a23f15b75798618c59f05c258cc8b8b39187.tar.bz2 |
Engaging texi files in some autotooling.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am new file mode 100644 index 0000000..3d7c6f0 --- /dev/null +++ b/doc/Makefile.am @@ -0,0 +1,30 @@ +# Copyright (C) 2010 Jose Antonio Ortega Ruiz +# +# This file is free software; as a special exception the author gives +# unlimited permission to copy and/or distribute it, with or without +# modifications, as long as this notice is preserved. +# +# This program is distributed in the hope that it will be useful, but +# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the +# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. + +# SUBDIRS = img +SUFFIXES = .html +EXTRA_DIST = geiser.css site.conf + + +info_TEXINFOS = geiser.texi +geiser_TEXINFOS = intro.texi install.texi tutorial.texi index.texi + +output_dir=$(top_builddir)/doc/html + +web: + rm -f $(output_dir)/*.html + texi2html --output=$(output_dir) \ + --split=chapter \ + --noheader \ + --nonumber-section \ + --init-file=$(top_srcdir)/doc/site.conf \ + --top-file=index.html \ + $(top_srcdir)/doc/geiser.texi + cp $(top_srcdir)/doc/geiser.css ${output_dir} |