diff options
author | Neil Jerram <neil@ossau.uklinux.net> | 2001-08-27 21:25:44 +0000 |
---|---|---|
committer | Neil Jerram <neil@ossau.uklinux.net> | 2001-08-27 21:25:44 +0000 |
commit | b45898cae3e21cfef5d4d98ba8d3d154a9861062 (patch) | |
tree | e4131ea1edf127e01a41dff773807ea8d165157e /doc/r5rs | |
parent | fada26b27ea9abb301009965857f08a4978f1707 (diff) |
* Fix doc snapshot build problems by avoiding use of ../AUTHORS file.
* Use TEXINFO_TEX to avoid shipping multiple copies of texinfo.tex.
Diffstat (limited to 'doc/r5rs')
-rw-r--r-- | doc/r5rs/ChangeLog | 10 | ||||
-rw-r--r-- | doc/r5rs/Makefile.am | 2 |
2 files changed, 12 insertions, 0 deletions
diff --git a/doc/r5rs/ChangeLog b/doc/r5rs/ChangeLog new file mode 100644 index 000000000..4b0973487 --- /dev/null +++ b/doc/r5rs/ChangeLog @@ -0,0 +1,10 @@ +2001-08-27 Neil Jerram <neil@ossau.uklinux.net> + + * Makefile.am (TEXINFO_TEX): Added; avoids shipping multiple copies of + texinfo.tex in a single distribution. + +2001-08-27 Neil Jerram <neil@ossau.uklinux.net> + + The change log for files in this directory continues backwards + from 2001-08-27 in ../ChangeLog, as all the Guile documentation + prior to this date was contained in a single directory. diff --git a/doc/r5rs/Makefile.am b/doc/r5rs/Makefile.am index 231c7bfeb..2b3d40a67 100644 --- a/doc/r5rs/Makefile.am +++ b/doc/r5rs/Makefile.am @@ -22,3 +22,5 @@ AUTOMAKE_OPTIONS = gnu info_TEXINFOS = r5rs.texi + +TEXINFO_TEX = ../ref/texinfo.tex |