# Note: depends on intltool
# Note: depends on pkg-config
# Note: depends on glib
wget -c https://ftp.gnome.org/pub/GNOME/sources/gnome-menus/3.13/gnome-menus-3.13.3.tar.xz
tar -xJf gnome-menus-3.13.3.tar.xz
cd gnome-menus-3.13.3
mkdir -p build
cd build
../configure --prefix="/usr" --sysconfdir="/etc"
make # Doesn't mind -j#
make install