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 | e27e9961e58925e39cd5a19699806aac640abbd1 (patch) | |
tree | 9f7dc653a94279e924d1c8ea938a38af1353f735 /doc | |
parent | 348fdbe00a7cb3d4bc3729fe032f36921715ce70 (diff) | |
download | geiser-guile-e27e9961e58925e39cd5a19699806aac640abbd1.tar.gz geiser-guile-e27e9961e58925e39cd5a19699806aac640abbd1.tar.bz2 |
Engaging texi files in some autotooling.
Diffstat (limited to 'doc')
-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} |