/Master/texmf-dist/source/latex/stex/sproof/
../
sproof.dtx
sproof.ins