1## ------------------ ## 2## User Preferences. ## 3## ------------------ ## 4 5begin-language: "Autoconf" 6args: --warnings=no-syntax 7end-language: "Autoconf" 8