The example image library supplied with HIPR contains over 700 images, all in the GIF (Graphic Interchange Format) image format. GIF was chosen because it is widely used, efficient to store (it is a compressed format) and also readily converted into other formats using standard image manipulation tools.
The image viewer supplied with your hypermedia browser will almost certainly be able to display GIF images, since GIF is a very popular format on the World Wide Web, and the browsers were initially developed for that environment.
In addition it is highly likely that your image processing software will be able to read in GIF images directly since they are such a common format, so you may be able to use the image library as a starting point for further exploration of image operators without altering the image files at all.
In an ideal world that would be that. However, in practice there are multitudes of different image formats in use today, and there do exist some image processing packages that are not able to import GIF images directly. For these reasons it is sometimes necessary to convert images from GIF format into some other format. There are three main approaches that you could take.
Firstly, if HIPR works fine as a reference manual using GIF images and you only want to use a few images for input into your image processing software, then it is easiest to keep the GIF images as they are for use with HIPR and just make duplicate versions of the images you are interested in, in a different format as necessary. Software to perform this conversion is widely available, and may even be included with your image processing package. Some suggestions for converters are given in the Installation Guide. No messing around with HIPRscript is required for this approach.
Secondly, if you have the disk space, you might just consider making a duplicate image directory containing copies of all the image files in the required new format. The hypermedia version of HIPR will continue to use the GIF images, but for further exploration you can direct students to use the alternate image directory. Since converting over 700 images by hand is very tedious, it is a good idea to automate the conversion process by writing some sort of script or batch file. Since the details of how you would do this are extremely software- and machine-dependent we cannot tell you exactly what to do here.
Finally, and only pursue this route if you are aware that it involves a major amount of work, and if you really don't have enough filespace to maintain a duplicate image library in a different format, you can choose to convert all the images into another format. The disadvantage of doing that is that you also have to change every single image reference in the HIPR HTML files to reflect the new file suffix of your images (which will presumably no longer be .gif). In addition, you must ensure that your hypermedia browser is able to display that image file format and knows how to do so (consult your Netscape documentation for details of how to link image viewers to file suffixes).
If you want to take this approach then do the following:
$IMAGE_EXT = 'gif'
Change this to reflect the new image filename extension. Do not include the `.' here. Do not change anything else. Save the file.