On Mon, Jun 2, 2014 at 8:28 PM, Volker Braun <vbraun.n...@gmail.com> wrote: > Whats the command to build the documentation for the web page? Maybe it > would be easy to simply add that to the release workflow.
It uses the files directly from the /doc subdirectory. I.e. there is a script from Minh which creates the zip files, and other packages. Then, it uses this to replace parts on the website. It should still work, but all the paths to the directories are wrong and so the script needs some intense hand-holding while hopefully not destroying too much ;-) (there is zfs snapshotting underneath, but i have no idea how to rollback) Harald -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
