#17545: Rephrase the 'Reporting bugs' section of the developer's manual
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_review
Type: | Milestone: sage-6.5
enhancement | Resolution:
Priority: major | Merged in:
Component: | Reviewers: Karl-Dieter Crisman
documentation | Work issues:
Keywords: | Commit:
Authors: | f6c51cfe94eb0f01eba6600082bea267f6049dd9
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
public/17545 |
Dependencies: |
#17534 |
-------------------------+-------------------------------------------------
Comment (by ncohen):
Hello !
> Just curious as to why you have ''two'' headers for this.
I fought hard against this while writing the branch and thought that it
was the only way out. Turns out that now it works without that. Sooooo
let's say "fixed" `:-P`
> Because you have a sub point before "You might be asked..." (I think)
but not before "If you do not ..." there is an extra space before the
latter. I don't know if it matters, but it looks inconsistent.
Here again I tried a lot, I tried this [1] and inserted empty math
environments, and other tricks... I don't know hwo to fix that, it
actually looks like a docutils bug. I agree that it is not pretty but I do
not know how to make it better.
> but `Trac` is not capitalized. If you want to, you could fix that here
instead of someone opening a trivial ticket...
Done.
Nathann
[1] http://docutils.sourceforge.net/FAQ.html#how-to-indicate-a-line-break-
or-a-significant-newline
--
Ticket URL: <http://trac.sagemath.org/ticket/17545#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
