diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -446,7 +446,7 @@ platform.txi: build.scm > platform.txi features.txi: build build.scm $(SCMLIT) -l build -e"(make-features-txi)" -scm.info: $(texifiles) +scm.info: $(texifiles) features.txi platform.txi makeinfo scm.texi --no-split -o scm.info mv scm.info scm-$(VERSION).info if [ -f $(PREVDOCS)scm.info ]; \ |