Minh Nguyen wrote: > Note that I have already deleted the experimental repository sage-exp, > but the documentation build script (I think) still links to or uses > that deleted repository. This might be due to ticket #5350 > > http://trac.sagemath.org/sage_trac/ticket/5350 > > but I may be wrong here. I don't get the above problem if I make > clones of the main repository and don't delete them. But that eats up > a lot of disk space, even though /scratch on sage.math is pretty large > in terms of storage. And sometimes I remove repositories because I > don't need them any more.
Thanks for noting this. This is one of the problems we're trying to eliminate at http://trac.sagemath.org/sage_trac/ticket/6187 I will try to update the current patches so that the builder does not throw an error, if an auto-generated .rst file is missing. Out of curiosity (and ignorance): Do we have a "build" monoid? http://en.wikipedia.org/wiki/Monoid Perhaps two, one each for the regular and documentation build systems? --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
