Hyperlink email addresses in Scribble docs.

svn: r16641

collects/scribble/base.ss

@@ -143,7 +143,7 @@
                      (regexp-replace* #rx"[.]"
                                       (regexp-replace* #rx"@" email " at ")
                                       " dot ")
-                     email)
+                     (hyperlink (string-append "mailto:" email) email))
                  ">")))
 
 ;; ----------------------------------------

collects/unstable/scribblings/poly-c.scrbl

@@ -12,7 +12,7 @@
 @defmodule[unstable/poly-c]
 
 @author[@author+email["Sam Tobin-Hochstadt" "samth@ccs.neu.edu"]
-	@author+email["Carl Eastlund" "cce@ccs.neu.edu" #:obfuscate? #t]]
+	@author+email["Carl Eastlund" "cce@ccs.neu.edu"]]
 
 
 @defform[(poly/c ([id+ id-] ...) cnt)]{