A.2.76.1 Warnings

Even though the -ptr option is ignored, you should remove -ptr from all compilation commands because, in a later release, it may be reused with a different behavior.

See also

For information about repository directories, see 7.4 The Template Repository.