Našel jsem příkaz:
mencoder -sub subs.srt -forceidx -ovc copy -oac copy -o output.mkv f1.avi f2.avi
sice videa spojí dohromady, jenže výsledný video - aspoň při přehrávání ve vlc - chybně ukazuje čas. navíc titulky jsou dvakrát (každá půlka zvlášť od začátku..)
lepší příkaz znáte někdo, prosím? :-)