If you do remove them don't forget to remove the associated documentation. 
That is remove sage/dev but also doc/en/reference/dev and apply this little 
patch too 
https://github.com/cschwan/sage-on-gentoo/blob/master/sci-mathematics/sage-doc/files/sage-doc-dev.patch

François

On Saturday, December 27, 2014 3:08:00 AM UTC+13, Nathann Cohen wrote:
>
> Helloooooooooo everybody !
>
> There is no pub in a radius of 40km of where I live, so I spend my 
> evenings rewriting Sage's developer manual.
>
> Tonight I have two questions for you:
>
> 1) should we keep the "Sage dev" scripts in Sage ? 
> 2) Should we keep it in the doc ?
>
> http://www.sagemath.org/doc/developer/
>
> Several reasons:
> - Most of our developer's manual is about 'how to use git'. We have:
>     - First Steps with Git
>     - Git and Trac Integration (contains 'git-trac' and the dev scripts)
>     - Git tips and tricks (contains 'git the hard way')
>   (All of which appears before the 'sage-specific' doc. Perhaps we should 
> reverse that)
>
> - The 'dev scripts' page begins with a 'hint' recommending to NOT use them 
> (feels like a deprecation already)
>
> - A tool that we do not use ourselves will not be debugged either
>
> Given that we have been using Git for a while now, perhaps we can more 
> easily make up our minds on this respect ?
>
> I believe that two ways to contribute (regular git + git trac) is already 
> a lot, and that we should stick to that. It may also be slightly clearer to 
> newcomers who wonder which of the 3 (!!!) different ways to contribute they 
> should pick.
>
> What do you think ?
>
> Good evening,
>
> Nathann
>

-- 
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.

Reply via email to