Manufacture of machinery for mining