# Konfiguration zum Erstellen der HTML-Version
# copyrightinformationen
# icons direkt in dem Ordner
$LOCAL_ICONS = 1;
#antialias für Bildchen
$ANTIALIAS = 1;
# Bildformat
$IMAGE_TYPE = 'png';
# Internationalisation
$LANGUAGE_TITLES = 'english';
$default_language = 'english';
# section-Nummern anzeigen
$SHOW_SECTION_NUMBERS = 1;