doc: index the character constants

add character constants (`#\newline`, etc.) to the index
This commit is contained in:
Ben Greenman 2018-08-08 11:56:34 -04:00 committed by GitHub
parent 43b0cd4a7e
commit 59f49cb6ff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -760,15 +760,15 @@ one of the following forms:
@itemize[
@item{ @litchar{#\nul} or @litchar{#\null}: NUL (ASCII 0)@nonalpha[]}
@item{ @litchar{#\backspace}: backspace (ASCII 8)@nonalpha[]}
@item{ @litchar{#\tab}: tab (ASCII 9)@nonalpha[]}
@item{ @litchar{#\newline} or @litchar{#\linefeed}: linefeed (ASCII 10)@nonalpha[]}
@item{ @litchar{#\vtab}: vertical tab (ASCII 11)@nonalpha[]}
@item{ @litchar{#\page}: page break (ASCII 12)@nonalpha[]}
@item{ @litchar{#\return}: carriage return (ASCII 13)@nonalpha[]}
@item{ @litchar{#\space}: space (ASCII 32)@nonalpha[]}
@item{ @litchar{#\rubout}: delete (ASCII 127)@nonalpha[]}
@item{ @as-index{@litchar{#\nul}} or @as-index{@litchar{#\null}}: NUL (ASCII 0)@nonalpha[]}
@item{ @as-index{@litchar{#\backspace}}: backspace (ASCII 8)@nonalpha[]}
@item{ @as-index{@litchar{#\tab}}: tab (ASCII 9)@nonalpha[]}
@item{ @as-index{@litchar{#\newline}} or @as-index{@litchar{#\linefeed}}: linefeed (ASCII 10)@nonalpha[]}
@item{ @as-index{@litchar{#\vtab}}: vertical tab (ASCII 11)@nonalpha[]}
@item{ @as-index{@litchar{#\page}}: page break (ASCII 12)@nonalpha[]}
@item{ @as-index{@litchar{#\return}}: carriage return (ASCII 13)@nonalpha[]}
@item{ @as-index{@litchar{#\space}}: space (ASCII 32)@nonalpha[]}
@item{ @as-index{@litchar{#\rubout}}: delete (ASCII 127)@nonalpha[]}
@item{@litchar{#\}@kleenerange[3 3]{@nonterm{digit@sub{8}}}:
Unicode for the octal number specified by three octal digits---as in string escapes (see