K 10 svn:author V 5 lioux K 8 svn:date V 27 2000-12-11T15:12:05.000000Z K 7 svn:log V 106 3 patch files implementing WITH_* options were left out on revision 1.5 update of Makefile. Rectify this. END