4.2.3. Input Substitution

Input substitution is shown in the following convention:

cfx5 -def <def_file>

you should actually type cfx5 -def, and substitute a suitable filename for <def_file>.