[MPlayer-users] joining video data ...

[Albretch Mueller]

I got a bunch of (apparently Windows) files that seem to be avi video
data. Inside of the directory where the files are, there is a
descriptor playlist ini file that looks like:

[autorun]
open=mcdplayer.exe
icon=mcdplayer.exe

[Setup]
VideoMode=NTSC
Serial=X52A5BB
BackupTime=2014/05/04 18:01:50

[Files]
File001=2014_04_28_13_20_00_000F_0000_0000_0000
File002=2014_04_28_13_21_59_000F_0000_0000_0000
File003=2014_04_28_13_23_57_000F_0000_0000_0000
File004=2014_04_28_13_25_00_000F_0000_0000_0000
File005=2014_04_28_13_26_57_000F_0000_0000_0000
File006=2014_04_28_13_29_00_000F_0000_0000_0000
File007=2014_04_28_13_30_00_000F_0000_0000_0000
File008=2014_04_28_13_31_51_000F_0000_0000_0000


and files with names prefixed a la "File###" and with extensions ".d" and ".i"

How do you join all those files into a single mp4 video file I can
watch on a windows or Linux box?

Any link to utilities to join video data and/or the description of
that type of file format?

 Thank you,
 lbrtchx