summaryrefslogtreecommitdiff
path: root/doc/r5rs/Makefile.am
diff options
context:
space:
mode:
Diffstat (limited to 'doc/r5rs/Makefile.am')
-rw-r--r--doc/r5rs/Makefile.am4
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/r5rs/Makefile.am b/doc/r5rs/Makefile.am
index c64e4ffb1..8f33c47f5 100644
--- a/doc/r5rs/Makefile.am
+++ b/doc/r5rs/Makefile.am
@@ -21,6 +21,8 @@
AUTOMAKE_OPTIONS = gnu
-info_TEXINFOS = r5rs.texi
+info_TEXINFOS = \
+ r5rs.texi \
+ r5rs.de.texi
EXTRA_DIST = ChangeLog-2008