From 1f1408a8af181502997183de257454038bbf2415 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 18 May 2006 18:57:06 +0000 Subject: [PATCH] added a note svn: r2971 original commit: c9ffbcbdc89188d8b40b7a327c02bba660cb9a0f --- collects/scribble/doc.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/scribble/doc.txt b/collects/scribble/doc.txt index a0f50bf2..f35ed7c4 100644 --- a/collects/scribble/doc.txt +++ b/collects/scribble/doc.txt @@ -266,6 +266,9 @@ Additional notes: object; - This mechanism depends on line and column number information (`use-at-readtable' turns them on for the current input port); +- To use this mechanism with nested commands that should preserve + indentation, you will need to do some additional work since the nested + use will have only its own indentation; - When using it on a command-line, you note that the reader is not aware of the "> " prompt, which might lead to confusing results.