fix uses of #lang setup/infotab

svn: r8534

original commit: 03f29ff7b1c0146aeaca77a4909ad86669c9d615
This commit is contained in:
Eli Barzilay 2008-02-05 05:24:32 +00:00
parent 4a8fae32ed
commit 57b8baeb1c

View File

@ -59,8 +59,8 @@ EOS
@schemeidfont{name} field. If you do not already have an
@filepath{info.ss} module, here's a suitable complete module:
@schemeblock[
\#lang setup/infotab
@schememod[
setup/infotab
(define name "Some documentation")
(define scribblings '(("manual.scrbl" ())))
]}