echo ""
echo " prefix: $prefix "
echo " datarootdir: $datarootdir "
-echo " datadir: $datadir (icons will go in \$datadir\icons\hicolor\...)"
+echo " datadir: $datadir (icons will go in \$datadir/icons/hicolor/...)"
echo " infodir: $infodir (info files will go here)"
echo " sysconfdir: $sysconfdir (xboard.conf will go here)"
echo ""