Merge branch 'master' into gh-pages

2012-10-25 10:24:47 -04:00 · 2012-10-25 10:24:47 -04:00 · 0b5dab7305
commit 0b5dab7305
parent f0b194370e 8255f0fc74
2 changed files with 68 additions and 68 deletions
--- a/index.html
+++ b/index.html
--- a/make-doc.sh
+++ b/make-doc.sh
@ -1 +1 @@
-scribble --html ++style gh.css ++xref-in setup/xref load-collections-xref --redirect-main "http://pre.plt-scheme.org/docs/html/" --dest-name index.html main.rkt
+scribble --html ++style gh.css ++xref-in setup/xref load-collections-xref --redirect-main "http://docs.racket-lang.org/" --dest-name index.html main.rkt