projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6488d86) | patch
ffi/build.scm (update-html-index): Do not strip the mit-scheme- prefix.
authorMatt Birkholz <matt@birchwood-abbey.net>
Thu, 10 Mar 2016 21:38:52 +0000 (14:38 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Thu, 10 Mar 2016 21:38:52 +0000 (14:38 -0700)
commitb503bb0f2aa4a865f780e60842cb81cc058a7405
tree4e3836e2bf046892897954d92f2e9c336690525ctree | snapshot
parent6488d86acce7400998fa3d739746683e1ec8eb7dcommit | diff
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.)
src/ffi/build.scm diff | blob | history
MIT/GNU Scheme, Pucked