Am Freitag, 21. Oktober 2016 23:51:18 UTC+2 schrieb Matthias Koeppe: > > > We already have makeinfo as part of the autotools package. >
great! one further question: I noticed that there may also be other files such as pictures (in .png) format which "sage -docbuild DOCUMENT texinfo" puts into the texinfo directories, and which should be moved by "sage -docbuild DOCUMENT info" into the corresponding info directories. How do I know which files should be moved? Or should I copy them? Are these only going to be .png files? trac is still down. Martin -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
