The Modular DocBook Stylesheets
PrevDocBook HTML ParametersNext

%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)

PrevHomeNext
%gentext-nav-use-tables%Up%graphic-extensions%