summaryrefslogtreecommitdiff
path: root/doc/tutorial
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tutorial')
-rw-r--r--doc/tutorial/Makefile.am13
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