post_install() {
	echo 'To use it, the different options are:'
	echo '1/ add inside your ~/.xprofile: export GTK_MODULES="winmenu${GTK_MODULES:+:$GTK_MODULES}"'
	echo '2/ install gtk3-libwinmenu'
	echo '3/ copy gtk3-libwinmenu > winmenu.sh to "/etc/X11/xinit/xinitrc.d"'
	echo '------------------------------------------------------------------'
	echo 'Menu is toggled with Right Control'
}