K 10 svn:author V 8 torstenb K 8 svn:date V 27 2000-02-13T18:20:45.000000Z K 7 svn:log V 165 Fix a problem with zsh.texi introduced when we upgraded our base-system texinfo to 4.0. Things could be easier if people would use manpages instead of texinfo & Co. END