small repairs to docs on 'scribblings in "info.rkt"

Merge to v6.4
This commit is contained in:
Matthew Flatt 2016-01-16 07:40:47 -07:00
parent 0a266780fe
commit f317f906d8

View File

@ -366,8 +366,8 @@ Optional @filepath{info.rkt} fields trigger additional actions by
(list src-string flags category name out-k) (list src-string flags category name out-k)
(list src-string flags category name out-k order-n)] (list src-string flags category name out-k order-n)]
[flags (list mode-symbol ...)] [flags (list mode-symbol ...)]
[category (list category-symbol) [category (list category-string-or-symbol)
(list category-symbol sort-number)] (list category-string-or-symbol sort-number)]
[name string [name string
#f] #f]
] ]
@ -542,7 +542,10 @@ Optional @filepath{info.rkt} fields trigger additional actions by
source file need not be present. Moving documentation into place source file need not be present. Moving documentation into place
may require no movement at all, depending on the way that the may require no movement at all, depending on the way that the
enclosing collection is installed, but movement includes adding a enclosing collection is installed, but movement includes adding a
@filepath{synced.rktd} file to represent the installation.} @filepath{synced.rktd} file to represent the installation.
@history[#:changed "6.4" @elem{Allow a category to be a string
instead of a symbol.}]}
@item{@as-index{@racketidfont{release-note-files}} : @racket[(listof (cons/c string? (cons/c string? list?)))] --- @item{@as-index{@racketidfont{release-note-files}} : @racket[(listof (cons/c string? (cons/c string? list?)))] ---
A list of release-notes text files to link from the main documentation pages. A list of release-notes text files to link from the main documentation pages.