Print Parameter Reference: Part of the Modular DocBook Stylesheet distribution
PrevNext

mif-backend

Name

mif-backend -- Are we using the MIF backend?

Synopsis

mif-backend

Description

This parameter exists so that -V mif-backend can be used on the command line to explicitly select the MIF backend.

Source Code

(define mif-backend 
  ;; Are we using the MIF backend?
  #f)
PrevHomeNext
tex-backendUprtf-backend