Example Dockerfile fixes for PolyTracker short tool paper#6570

Merged

kaoudis merged 9 commits intomasterfrom kaoudis/dockerfile-minor-adjustments

Jul 3, 2024

+60-67

Commits on Jul 2, 2024

file: fix example Dockerfile by checking out a tag from reasonably around the time when we made the Dockerfile, and building in the correct location
kaoudis
committed

Commits on Jul 3, 2024