Some decisions need to be made in order to build book with pdflatex.
1. src/doc/ps/ images. These are hyperdoc images. They are in ps format, but actually are bitmap images. pdflatex can't handle ps format directly, so I suggest to convert them into png format. 2. If the answer to previous question is yes, then shall we convert from ps format, or shall we do the screenshots again to create a higher resolution of those images. - Qian -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/0768deef-035e-474f-a14f-9cc5e59cf902%40gmail.com.