| drop ; |
drop ; |
| |
|
| : print-short ( doc-entry -- ) |
: print-short ( doc-entry -- ) |
| >r ." @format" |
>r ." @format" cr |
| ." @code{" r@ doc-name 2@ typetexi ." } " |
." @code{" r@ doc-name 2@ typetexi ." } " |
| ." @i{" r@ doc-stack-effect 2@ type ." } " |
." @i{" r@ doc-stack-effect 2@ type ." } " |
| r@ doc-wordset 2@ type ." ``" |
r@ doc-wordset 2@ type ." ``" |
| r@ doc-pronounciation 2@ type ." ''@end format" cr |
r@ doc-pronounciation 2@ type ." ''" cr ." @end format" cr |
| rdrop ; |
rdrop ; |
| |
|
| : print-doc ( doc-entry -- ) |
: print-doc ( doc-entry -- ) |
