K 10 svn:author V 3 pav K 8 svn:date V 27 2005-07-10T23:06:48.000000Z K 7 svn:log V 83 - Fix dependency on makeinfo Submitted by: Roman Neuhauser END