# Configuration for for HTML version
# copyright information
# icons directly in the directory
$LOCAL_ICONS = 1;
#antialias for figures
$ANTIALIAS = 1;
# figure format
$IMAGE_TYPE = 'png';
# internationalisation
$LANGUAGE_TITLES = 'english';
$default_language = 'english';
# show section numbers
$SHOW_SECTION_NUMBERS = 1;