projects / mit-scheme.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59404ac) | patch
user.texinfo: typos
authorMatt Birkholz <matt@birchwood-abbey.net>
Fri, 1 Jun 2018 20:58:37 +0000 (13:58 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Tue, 5 Jun 2018 06:55:19 +0000 (23:55 -0700)
commit832d8f5ad2cbc9b9850b4f0fbae3b76445accebc
tree288b31a2eea91451d9504ab6b83658e99a88a7b3tree | snapshot
parent59404acfd4f9393c637ca05d71e00349f7c1a73bcommit | diff
user.texinfo: typos

Need ./configure when building gdbm.  Prefer --prepend-library where
applicable.  Mention all 6 sample plugins.  Do *not* mention the
defunct --edwin option.
doc/user-manual/user.texinfo diff | blob | history
MIT/GNU Scheme, Pucked