linux 64 bits support

[Enrico Segre]

> What is the result of `locate javahelp.xsl` ?

/usr/share/sgml/docbook/xsl-stylesheets-1.69.1-5.1/javahelp/javahelp.xsl
/usr/share/sgml/docbook/xsl-stylesheets-1.69.1-5.1/javahelp/profile-javahelp.xsl


> Under debian/ubuntu, the name of the package is docbook-xsl


rpm -qa | grep docbook
docbook-style-xsl-1.69.1-5.1
docbook-simple-1.0-2.1.1
docbook-dtds-1.0-30.1
docbook-style-dsssl-1.79-4.1
docbook-utils-0.6.14-5.1

 rpm -qa | grep xsl
docbook-style-xsl-1.69.1-5.1
libxslt-python-1.1.17-2.el5_2.2
libxslt-1.1.17-2.el5_2.2
openoffice.org-xsltfilter-2.4.1-9310
libxslt-1.1.17-2.el5_2.2
libxslt-devel-1.1.17-2.el5_2.2