diff options
author | Ludovic Courtès <ludo@gnu.org> | 2008-10-09 22:56:19 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2008-10-09 22:59:58 +0200 |
commit | ec9ef386157036ed5388023121720a179d4faeb9 (patch) | |
tree | 0887dc66d80828f7418ce599c28b966fca6b7529 /doc/tutorial | |
parent | 1ffa692322ef03890f7d15aadeb79cffaa0f105d (diff) | |
download | guile-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.am | 2 |
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 |