K 10 svn:author V 2 bf K 8 svn:date V 27 2012-04-23T09:27:42.000000Z K 7 svn:log V 337 update to 1.0.56 and adjust dependent ports; switch to the packaged html documents, to avoid problems with our texinfo tools; pass prefix, dynamic space size, and lisp bootstrap via make.sh options; update flags and use them in tests; remove unused patches; simplify and sort some variables and options-handling; shorten some long lines END