Google

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

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)