From beb7e2f1639df32cd785c42ac6317250929e1dfe Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Fri, 30 Aug 2013 13:39:34 -0400 Subject: [PATCH] docs for switch to read-html-as-xml for local files --- .../htdp-doc/teachpack/2htdp/scribblings/batch-io.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/htdp-pkgs/htdp-doc/teachpack/2htdp/scribblings/batch-io.scrbl b/pkgs/htdp-pkgs/htdp-doc/teachpack/2htdp/scribblings/batch-io.scrbl index f25d8d9ab1..63fe3dda6e 100644 --- a/pkgs/htdp-pkgs/htdp-doc/teachpack/2htdp/scribblings/batch-io.scrbl +++ b/pkgs/htdp-pkgs/htdp-doc/teachpack/2htdp/scribblings/batch-io.scrbl @@ -144,7 +144,7 @@ elements. @item{@reading[read-xexpr xexpr?]{an X-expression, including whitespace such as tabs and newlines} Assumption: the file @racket[f] or the selected input device contains an -XML element. +XML element. It assumes the file contains HTML-like text and reads it as XML. @examples[#:eval (examples-batch-io) (read-xexpr "data.xml")