[next] [prev] [prev-tail] [tail] [up]

1.3.10 $EXTENSION : Extension of generated binary.

This directive can appear in a program or library source file: it sets the extension for the generated binary/library. The initial dot (sometimes associated with the extension) may not be present.

Example:

{$EXTENSTION ’cgi’}

will set the extension to ’cgi’.

[next] [prev] [prev-tail] [front] [up]