generate HTML file name

[Lionel Mallet <l.mallet@xxxxxxxxxxxxx>]

I need your help to understand how to improve the name of the generated HTML 
file.

I set the %use-id-as-filename% variable to #t in my stylesheet driver file but 
when the id of my reference is something like "aClass", the generated HTML 
file is named aclass.html.

I would like case of characters to be preserved for the file name. So far I've 
not been able to understand where the case is ignored.

BTW, the print stylesheet *does* preserve the case of characters in the 
generated file name. In fact it seems to be using the name of the input file 
as the basename for the generated file. Unfortunately I've not been able to 
determine where this is done.

Could any kind soul explain me this? And maybe provide a hint on how to 
preserve case in the html stylesheet?

Thx.
-- 
Lionel Mallet                           E-mail: l.mallet@xxxxxxxxxxxxx
The Open Group Research Institute       Phone: +33 (0) 476 63 48 66
2, Av. de Vignate                       Fax:   +33 (0) 476 51 05 32
F38610 - Gieres, France                 



 DSSSList info and archive:  http://www.mulberrytech.com/dsssl/dssslist