Enhancements for the scribble language (a documentation language based on Racket)
Go to file
Matthew Flatt cf3e0ef3eb scribblings config: 'keep-style and 'no-search flag, 'omit-start section
The 'keep-style avoids imposing the Racket manual style on a
document, while 'no-search omits the search box. The 'omit-start
section is like 'omit, but the document is still indexed and
available for cross-references.

Also, recognize a 'prefixable tag shape so that the set of tags
hat support prefixing is extensible.

original commit: c4f4ba4ca38c05e8beff1546a8df69617c25821c
2014-01-08 07:33:28 -07:00
pkgs/scribble-pkgs scribblings config: 'keep-style and 'no-search flag, 'omit-start section 2014-01-08 07:33:28 -07:00