# $Source$ # $Id$ define_option with-pdflib 'pdflib 0.6 support? ' yesnodir \ 'no /usr/local pdflib install' \ ' Whether to use the pdflib support to write .pdf-files.\n Tested for version 0.6!'