From mboxrd@z Thu Jan 1 00:00:00 1970 From: Eric Bischoff To: Sam Roberts Cc: Peter Toft , docbook-tools-discuss@sourceware.cygnus.com Subject: Re: images in Docbook with Red Hat 6.2 Date: Wed, 27 Dec 2000 06:36:00 -0000 Message-id: <38F65807.4905D5C@cybercable.tm.fr> References: X-SW-Source: 2000/msg00156.html 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: 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 __________________________________________________