diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/makefile (renamed from doc/Makefile.am) | 22 |
1 files changed, 3 insertions, 19 deletions
diff --git a/doc/Makefile.am b/doc/makefile index 863c2df..1d3bb63 100644 --- a/doc/Makefile.am +++ b/doc/makefile @@ -1,4 +1,4 @@ -# Copyright (C) 2010 Jose Antonio Ortega Ruiz +# Copyright (C) 2010, 2020 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 @@ -8,22 +8,8 @@ # 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 +top_srcdir=.. +output_dir=html web: rm -f $(output_dir)/*.html @@ -36,5 +22,3 @@ web: $(top_srcdir)/doc/web.texi cp $(top_srcdir)/doc/geiser.css ${output_dir} cp -r $(top_srcdir)/doc/img ${output_dir} - -EXTRA_DIST = dir |