From 1bf9e0c020c1eced61f56a5067cee2dd216364ae Mon Sep 17 00:00:00 2001
From: Greg Hendershott <greghendershott@gmail.com>
Date: Fri, 26 Oct 2012 13:14:18 -0400
Subject: [PATCH] Rename add-ga.rkt to add-to-head.rkt

---
 add-ga.rkt => add-to-head.rkt | 0
 make-doc.sh                   | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename add-ga.rkt => add-to-head.rkt (100%)

diff --git a/add-ga.rkt b/add-to-head.rkt
similarity index 100%
rename from add-ga.rkt
rename to add-to-head.rkt
diff --git a/make-doc.sh b/make-doc.sh
index 45cbde5..ea5aad4 100755
--- 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