diff options
Diffstat (limited to 'src/interp/ht-util.boot')
| -rw-r--r-- | src/interp/ht-util.boot | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/interp/ht-util.boot b/src/interp/ht-util.boot index a4781e09..d04cd526 100644 --- a/src/interp/ht-util.boot +++ b/src/interp/ht-util.boot @@ -236,15 +236,6 @@ stringize s == string? s => s PRINC_-TO_-STRING s ---htInitPageNoHeading(propList) == ------------------------> replaced by htInitPageNoScroll --- start defining a hyperTeX page --- $curPage := htpMakeEmptyPage(propList) --- if $saturn then $saturnPage := htpMakeEmptyPage(propList) --- $newPage := true --- $htLineList := nil --- $curPage - htQuote s == -- wrap quotes around a piece of hyperTeX iht '"_"" |