diff options
author | Marius Vollmer <mvo@zagadka.de> | 2004-06-28 13:19:26 +0000 |
---|---|---|
committer | Marius Vollmer <mvo@zagadka.de> | 2004-06-28 13:19:26 +0000 |
commit | 10ba5148c72ebd7b76fe02428d4b57394b08cfea (patch) | |
tree | a3e9355c235f4db8a389408ffce004d0434304dc /doc/tutorial | |
parent | 9fcf3cbb818cb3568f8649b6b8f8b2635caeaa6f (diff) | |
download | guile-10ba5148c72ebd7b76fe02428d4b57394b08cfea.tar.gz |
Removed home-grown code for HTML generation. Automake does it for us
now.
Diffstat (limited to 'doc/tutorial')
-rw-r--r-- | doc/tutorial/Makefile.am | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am index 4f9a6658f..a1509d096 100644 --- a/doc/tutorial/Makefile.am +++ b/doc/tutorial/Makefile.am @@ -24,16 +24,3 @@ AUTOMAKE_OPTIONS = gnu info_TEXINFOS = guile-tut.texi TEXINFO_TEX = ../ref/texinfo.tex - -# Optionally support building an HTML version of the reference manual. - -if HTMLDOC - -htmldir = $(prefix)/html/guile-$(VERSION) - -html_DATA = guile-tut_toc.html $(shell ls guile-tut_*.html 2>/dev/null) - -guile-tut_toc.html: guile-tut.texi - $(TEXI2HTML) -split_chapter guile-tut.texi - -endif |