Re: [fricas-devel] new-ps-book

2024-06-19 Thread Ralf Hemmecke
Building hyperdoc should not require epstopdf. Ah, yes, of course. This is caused by "viewports" requires "stamp-book-viewports", which should not be the case? No that is OK, but I put too much under stamp-book-viewports. The call to epstopdf should only occur during 'make book'. I'll correc

Re: [fricas-devel] new-ps-book

2024-06-19 Thread Qian Yun
Thanks for your commit for reducing space around AlgebraOutput/MessageOutput/TexOutput. That makes the book shrink from 982 pages to 766 pages! You should tweak the value a bit, I see AlgebraOutput and TexOutput overlap a bit. - Qian On 6/20/24 04:40, Ralf Hemmecke wrote: Hi Qian, I now reba

Re: [fricas-devel] new-ps-book

2024-06-19 Thread Qian Yun
Building hyperdoc should not require epstopdf. This is caused by "viewports" requires "stamp-book-viewports", which should not be the case? - Qian On 6/20/24 05:02, Ralf Hemmecke wrote: Qian, can you add a line to also install epstopdf into the github CI environment. Otherwise my new patches b

Re: [fricas-devel] new-ps-book

2024-06-19 Thread Ralf Hemmecke
Qian, can you add a line to also install epstopdf into the github CI environment. Otherwise my new patches break github CI. 2024-06-19T20:37:53.7717736Z /bin/bash: line 1: epstopdf: command not found Thanks Ralf -- You received this message because you are subscribed to the Google Groups "FriC

Re: [fricas-devel] new-ps-book

2024-06-19 Thread Ralf Hemmecke
Hi Qian, I now rebased also your other commits (with the necessary adaptations) because of my previous commit and added also some modifications to get rid of tex2tex.awk. The top commit also removes the space before TeXOutput and the line with the type. https://github.com/hemmecke/fricas/c

Re: [fricas-devel] new-ps-book

2024-06-19 Thread Qian Yun
Thanks, preliminary tests are OK, I'll take a deeper look to the details. - Qian On 6/19/24 04:48, Ralf Hemmecke wrote: Hi Qian, I've now created a new-ps-book-rhx branch in my github repo. https://github.com/hemmecke/fricas/commits/new-ps-book-rhx I've built that on top of your "generate bo