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