Change filename extension of images (for HTML-Help).
| Type & position: | command, preamble & main part |
| Syntax: | !html_img_suffix |
| Description: | Mit diesem Befehl können Sie die Endung der Grafiken setzen, die für die folgenden !image-Befehle verwendet werden soll. Standardmäßig benutzt UDO die Endung .gif. Falls Sie z.B. JPEG-Grafiken benutzen und diese Dateien auf .jpeg enden, benutzen Sie einfach untenstehendes Beispiel. !hh_img_suffix kann beliebig oft aufgerufen werden, so dass einer Verwendung verschiedener Grafikformate nichts im Wege steht. |
| Description: | UDO uses the suffix .gif when converting the image commands for HTML-Help by default. If you want to use different image types you can redefine the image suffix with this command. The example below shows how to change the image suffix to jpeg. You can use !hh_img_suffix as often as you want so you can redefine the image suffix right before every image. |
| Example: | !hh_img_suffix jpeg |
| Exists since: | Release 6 Patchlevel 5 |
| See also: | !image, (!img), !html_img_suffix, Images |