%admon-graphics-extension%

Name

%admon-graphics-extension% -- Admonition graphic file extension

Synopsis

%admon-graphics-extension%

Description

Identifies the extension for admonition graphics. This allows backends to select different images (e.g., EPS for print, PNG for PDF, etc.)

The older parameter, admon-graphic-default-extension, will be used if it is set, for backwards compatability.

Source Code

(define %admon-graphics-extension%
  ;; Admonition graphic file extension
  (if admon-graphic-default-extension
      admon-graphic-default-extension
      ".eps"))