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