manual

Stephen Weeks MLton@sourcelight.com
Tue, 26 Jun 2001 09:38:25 -0700


> Under compile-time options:
> 
> I guess the -i option is becoming -include.

Yep.  I fixed it in the manual, man page, and examples/ffi.

> Under profiling:
> 
> In the paragraph after the -d 1 example:
> 
> This basic block also which appears as label L_71 in profiling.0.S.
> ==>
> This basic block also apperas as label L_71 in profiling.0.S.

Fixed.