Añadir subtitulos a un divx/avi para reproducirlo en la PS3

Desde ubuntu ( o cualquier otra distribución de linux):
mencoder -o fichero_salida.avi -sub fichero_sub.srt -oac copy -ovc lavc fichero_entrada.avi