Re: generate HTML file name

[Norman Walsh <ndw@xxxxxxxxxx>]

/ Lionel Mallet <l.mallet@xxxxxxxxxxxxx> was heard to say:
| 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.

Case is folded by Jade long before the stylesheet ever sees the
value of the ID because the SGML declaration for DocBook says
that case distinctions are irrelevant.

If you set the declaration to enable case-sensitivity (NAMECASE
GENERAL NO), then case will be preserved.  But you'll have parse
errors if you've used case <Emphasis>inconsistently</emphasis>.

| 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.

That's because it's got nothing to do with the stylesheet. Jade
makes "FoO.rtf" the output for "FoO.sgm" in the RTF backend regardless
of the stylesheet.

--norm


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