Of course it is not really my intention to rebuild hyperdoc each time I make a small change to a source file. I would like to be able to just make a change to a spad(.pamphlet) file and type make/make install. But if it is necessary for the integrity of the system to rebuild some part of hyperdoc, then at least the result should be the same as if I had just run make for the first time.
On 1 April 2014 21:00, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote: > ... > AFAICS the correct way to rebuild hyperdoc pages is: > > 1) remove ht.db > 2) remove .pht files > 3) create ht.db > 4) rebuild .pht files > 5) recreate ht.db > > which ATM would force full rebuild. To have incremental > rebuild of .pht files we need to make sure that 'ht.db' > inside build directory contains only info about '.ht' > files. > > -- -- 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 post to this group, send email to fricas-devel@googlegroups.com. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.