|
From: | Michèle Garoche |
Subject: | Re: [Texmacs-dev] Re: texmacs 1.0.1.10 and gs, one more thing |
Date: | Sun, 11 May 2003 10:50:45 +0200 |
Le dimanche, 11 mai 2003, à 10:07 Europe/Paris, Martin Costabel a écrit :
So, that's a problem if they are gif files, as we are not supposed to use gif files (license), are we? They were integrated last year by Joris (23rd October 2002). Don't know who created them. In any case, they should be true png files.Michèle Garoche wrote:These files call themselves *.png, but are in reality gif files. I don't know how, where and when they were created. When I convert them to true png files, they do show up in the tutorial (at least what is there as Tutorial in 1.0.1.13, for example in the section "Typing a simple text").~/.TeXmacs/doc/images/pixmaps/tm_load.png pngtopnm: input file is not a PNG file
Michèle <http://micmacfr.homeunix.org/>
[Prev in Thread] | Current Thread | [Next in Thread] |