On Fri, Nov 12, 2010 at 11:59 PM, Aaron S. Meurer <[email protected]> wrote: > I like having both git and 0.6.7 right there in the same place right next to > each other. Does the git update itself whenever someone pushes?
As I said, not yet. Here is how to do it: 1) setup webhook for sympy/sympy to ping your server 2) build the docs at your server, commit it into the sympy/sympy_doc repository 3) push the sympy_doc repository back to github. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. 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/sympy?hl=en.
