Name
admon-graphic-default-extension -- Admonition graphic file extension
Synopsis
admon-graphic-default-extension
Description
Identifies the default extension for admonition graphics. This allows
backends to select different images (e.g., EPS for print, PNG for
PDF, etc.)
Source Code
(define admon-graphic-default-extension
;; Admonition graphic file extension
".eps")