ffi/build.scm (update-html-index): Do not strip the mit-scheme- prefix.

The plugin Makefile.ams install --no-split .html to the same name as
the .info by default.  (The .info goes in a shared info/ directory and
thus needs the prefix.)

diff --git a/src/ffi/build.scm b/src/ffi/build.scm
index 5b0abc438cfb2e0377be4cded8441f8c0be129e9..cd0624633ab0a284925e2ecd0f88d0c4c725fa93 100644 (file)
--- a/src/ffi/build.scm
+++ b/src/ffi/build.scm
@@ -113,8 +113,7 @@ USA.
                             (string=? "html" (pathname-type (car files)))
                             (string-prefix? "mit-scheme-"
                                             (pathname-name (car files))))
-                       (let ((name (string-tail (pathname-name (car files))
-                                                (string-length "mit-scheme-")))
+                       (let ((name (pathname-name (car files)))
                              (title (read-html-title (car files))))
                          (cons (cons name title) names.titles))
                        names.titles))