/Master/texmf-dist/source/latex/ebproof/
../
ebproof.dtx
ebproof.ins