Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-04-25 Thread Waldek Hebisch
On Thu, Apr 25, 2024 at 09:36:45PM +0800, Qian Yun wrote: > With this patch, the book.pdf uses PS format images instead of > using imagemagick to "covert" from bitmap xpm images. Good. > Also as Ralf wishes, now the build of book is independent from > build of hypertex pages. > > P.S to Ralf, th

[fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-04-25 Thread Qian Yun
With this patch, the book.pdf uses PS format images instead of using imagemagick to "covert" from bitmap xpm images. Also as Ralf wishes, now the build of book is independent from build of hypertex pages. P.S to Ralf, this patch uses a few lines of your noOutputXtc patch, you should upstream tha