Maverick - OSX dock auto hides when connecting a display through hdmi?
It's due to the new multi-display handling in Mavericks where the Dock can be made to show on both displays. It's not actually 'auto-hiding' hence why the auto-hiding is still disabled.

To go back to the old multi-display method, go to System Preferences → Mission Control and uncheck Displays have separate Spaces.