DDOC = $(DDOC_HEAD) $(DDOC_BODY) DDOC_HEAD =
$(DDOC_META) $(DDOC_STYLE style.css, title="standard") $(DDOC_ALTSTYLE none.css, title="none") $(DDOC_TITLE) DDOC_META = DDOC_TITLE =$0
TOC_SECTION = TOC =$(Product) $(Copyright)
(table of contents)
$0CODE =
$0COMMA =, ANG =<$0> SQR =[$0] QUOTE ="$0" NB =Note: $0 RP =) LP =( PAREN =($0) BRACE ={$0} DOLLAR =$ BL =
Example: $1
$(CODE $+) LIST =NOTE: $0
DEFINITIONS =