Google

NAME="GENERATOR" CONTENT="Modular DocBook HTML Stylesheet Version 1.70 ">

%graphic-default-extension%

Name

%graphic-default-extension% -- Default extension for graphic FILEREFs

Synopsis

%graphic-default-extension%

Description

The %graphic-default-extension% will be added to the end of all fileref filenames on Graphics if they do not end in one of the %graphic-extensions%. Set this to #f to turn off this feature.

Source Code

(define %graphic-default-extension% 
  ;; Default extension for graphic FILEREFs
  #f)