summaryrefslogtreecommitdiff
path: root/doc/tutorial
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2008-10-09 22:56:19 +0200
committerLudovic Courtès <ludo@gnu.org>2008-10-09 22:59:58 +0200
commitec9ef386157036ed5388023121720a179d4faeb9 (patch)
tree0887dc66d80828f7418ce599c28b966fca6b7529 /doc/tutorial
parent1ffa692322ef03890f7d15aadeb79cffaa0f105d (diff)
downloadguile-ec9ef386157036ed5388023121720a179d4faeb9.tar.gz
Fix compilation of the hard copy of the R5RS, tutorial and GOOPS manual.
* doc/tutorial/Makefile.am (TEXINFO_TEX): Remove. * doc/goops/Makefile.am (TEXINFO_TEX): Remove. * doc/r5rs/Makefile.am (TEXINFO_TEX): Remove.
Diffstat (limited to 'doc/tutorial')
-rw-r--r--doc/tutorial/Makefile.am2
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/tutorial/Makefile.am b/doc/tutorial/Makefile.am
index 5d4cc6680..f49220da7 100644
--- a/doc/tutorial/Makefile.am
+++ b/doc/tutorial/Makefile.am
@@ -23,6 +23,4 @@ AUTOMAKE_OPTIONS = gnu
info_TEXINFOS = guile-tut.texi
-TEXINFO_TEX = ../ref/texinfo.tex
-
EXTRA_DIST = ChangeLog-2008