I don't see "Great Movie Stunts", or "Great Adventurers and their Quests". Both vintage docs were released on VHS and LD.
Doesn't look like "The Making of Indiana Jones and The Temple of Doom", is there either. It only aired once or twice on PBS back in 1984, and never saw a home video release.