K 10 svn:author V 3 bde K 8 svn:date V 27 1998-03-12T10:08:50.000000Z K 7 svn:log V 127 Separated header creation from header installation in libss. Create the libss headers before installing them in `make world'. END