Matthew Flatt d0f9ed697b scribble: add +m' / ++main-xref-in' flag ... The `+m' flag is a long-overdue shorthand for `++xref-in setup/xref load-collections-xref', which links to installed documentation in the same way as DrRacket's "Scribble HTML" button. That is, use `+m' to link to installed documentation, scribble +m mine.scrbl instead of the previously recommended scribble ++xref-in setup/xref load-collections-xref mine.scrbl Merge to 5.3.2 original commit: 3e8b6b98663386ea01a93f917ed328e8052c38d8		2013-01-08 16:25:28 -07:00
..
help	Revise commented code so it can replace exiting code without dependency issues.	2012-01-26 13:20:26 -05:00
scribble	scribble: add +m' / ++main-xref-in' flag	2013-01-08 16:25:28 -07:00
scribblings/scribble	scribble: add +m' / ++main-xref-in' flag	2013-01-08 16:25:28 -07:00
scriblib	space management for figures	2012-12-27 19:01:34 -05:00
tests	Fix bug with pound signs used to mark sections.	2012-12-19 19:32:00 -07:00