diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am deleted file mode 100644 index 863c2df..0000000 --- a/doc/Makefile.am +++ /dev/null @@ -1,40 +0,0 @@ -# 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 - -info_TEXINFOS = geiser.texi -geiser_TEXINFOS = \ - macros.texi \ - top.texi \ - intro.texi \ - install.texi \ - repl.texi \ - parens.texi \ - cheat.texi \ - thanks.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/web.texi - cp $(top_srcdir)/doc/geiser.css ${output_dir} - cp -r $(top_srcdir)/doc/img ${output_dir} - -EXTRA_DIST = dir |