5 commits

Author	SHA1	Message	Date
Gareth Rees	99c01f9fbe	Minor documentation improvements: ... * Use "OS X" consistently (not "Mac OS X"). * Explain how to avoid GDB from stopping on barrier hits on Linux. * Bring HTML up to date. Copied from Perforce Change: 181077 ServerID: perforce.ravenbrook.com	2013-03-07 15:22:41 +00:00
Gareth Rees	e2b7b1b99c	Remove mps_tramp from backtraces. ... Copied from Perforce Change: 180964 ServerID: perforce.ravenbrook.com	2013-02-20 16:57:12 +00:00
Richard Brooksby	87fb54485f	Merging spelling corrections contributed by bruce mitchener and rebuilding manual. ... See <7d0a9d6204>. Copied from Perforce Change: 180957 ServerID: perforce.ravenbrook.com	2013-02-18 15:52:46 +00:00
Gareth Rees	bd034b6eb0	Update html. ... Copied from Perforce Change: 180468 ServerID: perforce.ravenbrook.com	2012-11-14 14:13:19 +00:00
Gareth Rees	28419106ca	Build html version of the manual in manual/html. ... Check in HTML version of the manual (writable on client) so that it will display automatically on the Ravenbrook server and so that we can easily include it in product releases. Copied from Perforce Change: 180338 ServerID: perforce.ravenbrook.com	2012-11-05 17:18:50 +00:00