Omni Systems, Inc. Mif2Go User's Guide, Version 55
The simplest way to substitute graphics in a different format is as follows:
Then you can simply map the old extension to the new extension, as follows:
Do not include a leading dot when you map extensions. For example:
However, if some of your replacement graphics have different base names or are in other directories, mapping old to new files becomes more complex. See §31.3.2.1.3 Substituting files with different names or locations.