![]() * Remove all uses iplt from svn, replaced with a new iplt repository in git. * The previous approach to patching pre html files wasn't robust enough, in case of a problem in the web page build things could be left with the raw html pages. Replace that with a better solution, which generates the web pages earlier and then uses them to patch the html files. * Add the drracket.org redirection page to the distribution list. * Fix a small bug in the git intro page css. |
||
---|---|---|
.. | ||
build | ||
contrib | ||
drdr | ||
tree | ||
web | ||
check-dists.rkt | ||
checker.rkt | ||
dist-specs.rkt | ||
info.rkt | ||
props | ||
readme.txt | ||
spec-lang.rkt | ||
spec-reader.rkt | ||
specs.rkt |
This directory contains code that is used to manage Racket infrastructure.