From b97caf797344ce5ceabf46e9f443fae51609aa1c Mon Sep 17 00:00:00 2001 From: Greg Hendershott Date: Fri, 26 Oct 2012 16:37:59 -0400 Subject: [PATCH] Delete unused web font. Re-org the code. --- add-to-head.rkt | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/add-to-head.rkt b/add-to-head.rkt index f6a67bc..ddbf5f7 100644 --- a/add-to-head.rkt +++ b/add-to-head.rkt @@ -4,7 +4,8 @@ ;; ;; AFIK no way via Scribble to put something into the section. ;; -;; This takes "main.html", adds some GA code, and outputs "index.html". +;; This reads "main.html", injects some stuff immediately before the +;; closing tag, writes to "index.html". (define web-font "") @@ -22,11 +23,12 @@ ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s); })(); - EOF ) -(define all (string-append web-font ga-code)) +(define "") + +(define all (string-append web-font ga-code )) (define subst (regexp-replace* "\n" all "")) ;minify (define old (file->string "main.html"))