yann@924: menu "Tools facilities"
yann@924: source config.gen/tools.in
yann@924: endmenu