Matthew Flatt 76cca479d9 restore old Scribble default style, but make new style default for manuals ... Using #lang scribble/base produces HTML output in the old style, while #lang scribble/manual uses the new style. To get the new style without switching to `#lang scribble/manual`, use `manual-doc-style`. Related changes include the addition of `css-style-addition` and `js-style-addition`. original commit: b520b66c4e8e54909c7d7b1126044e984989e8ef		2013-11-16 14:38:59 -07:00
..
scribble	include license with each package	2013-08-31 06:25:31 -06:00
scribble-doc	restore old Scribble default style, but make new style default for manuals	2013-11-16 14:38:59 -07:00
scribble-lib	restore old Scribble default style, but make new style default for manuals	2013-11-16 14:38:59 -07:00
scribble-test	Move doc completeness check to where it belongs.	2013-10-18 09:59:03 -04:00
scribble-text-lib	include license with each package	2013-08-31 06:25:31 -06:00