diff options
Diffstat (limited to 'doc/r5rs/Makefile.am')
| -rw-r--r-- | doc/r5rs/Makefile.am | 4 |
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 |