#!/bin/sh # #------------------------------------------------------------------------- # Example configuration settings file #------------------------------------------------------------------------- # configure --with- allows to specify a lot of options in one go by # evaluation the file settings/. Since configure provides defaults # for all options, the file needs to list only those options which are # to set differently. # # This file documents the available options and their default values. # # On/off options must be specified like this: # enable_