Tools or machines for producing linings