Wolfram Schneider 6c2d4c75a4 Use the right make command: make -> ${MAKE}		1999-09-15 20:37:12 +00:00
..
Makefile	Use the right make command: make -> ${MAKE}	1999-09-15 20:37:12 +00:00