commit 1bf9e0c020c1eced61f56a5067cee2dd216364ae
parent 7bdcdc9b6f36ebd2ebdc1501518f4213fc3c39db
Author: Greg Hendershott <greghendershott@gmail.com>
Date: Fri, 26 Oct 2012 13:14:18 -0400
Rename add-ga.rkt to add-to-head.rkt
Diffstat:
2 files changed, 1 insertion(+), 1 deletion(-)
diff --git a/add-ga.rkt b/add-to-head.rkt
diff --git a/make-doc.sh b/make-doc.sh
@@ -1,2 +1,2 @@
scribble --html ++style gh.css ++xref-in setup/xref load-collections-xref --redirect-main "http://docs.racket-lang.org/" main.rkt
-racket add-ga.rkt
+racket add-to-head.rkt