Makefile.os2
Tue, 30 Oct 2018 20:11:02 +0300 rename os2 makefile so that 'make dist' catches it; update it a bit.