images in Docbook with Red Hat 6.2
Eric Bischoff
ebisch@cybercable.tm.fr
Wed Dec 27 06:36:00 GMT 2000
Sam Roberts wrote:
>
>
> (define (graphic-file filename)
> (let ((ext (file-extension filename)))
> (if (or tex-backend ;; TeX can work this out itself
> (not filename)
> (not %graphic-default-extension%)
> (member ext %graphic-extensions%))
> filename
> (string-append filename "." %graphic-default-extension%))))
>
Such code trying to guess the graphic extension from within
the stylesheet is a good idea. Anyway, it will always face
the same problem : for publishing in HTML, for example, how
to decide whether to add JPEG, PNG or GIF ? It's not easy.
I'm currently using the following approach:
<graphic fileref="foo.&gif-eps;">
stands for:
"use foo.gif when making HTML files, foo.eps when printing
to TeX."
You can do create on the same model other entities like
&jpg-eps;. It's not perfect, but it's simple and works.
--
ÃÂric Bischoff - mailto:ebisch@cybercable.tm.fr
__________________________________________________
\^o~_.
.~. ______ /( __ )
/V\ Toys story \__ \/ ( V
// \\ \__| (__=v
/( )\ |\___/ )
^^-^^ \_____( )
Tux Konqui \__=v
__________________________________________________
More information about the Docbook-tools-discuss
mailing list