Re: images in Docbook with Red Hat 6.2

[Eric Bischoff <ebisch@cybercable.tm.fr>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1409 bytes --]

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
 __________________________________________________