I have connected my Gateway laptop to my TV with an HDMI cord a million times, and I'm aware that you have to go into sound settings and select HDMI Audio. However, since upgrading to 13.04 there is no HDMI Audio option in the sound settings. I'm assuming I need to install something, but I'm not sure what.
Viewing the other questions on the same problem directed me here: https://code.launchpad.net/~ubuntu-audio-dev/+archive/alsa-daily/+packages
But I have no idea what to do from there.