* (Andrew Pimlott) | > - directories names in /usr/share/doc use version number (on rpm systems, i | > don't know for Debian), so it is yet another problem | | I had forgotten that feature of rpm. Maybe that's a reason to use | /usr/share/javadoc , at least on rpm systems. Why should Debian policy care about rpm systems? -- Tollef Fog Heen Axiom #1: You Can't Win