#11816 closed defect (fixed)
Typo in the developer's guide
Reported by: | saraedum | Owned by: | mvngu |
---|---|---|---|
Priority: | trivial | Milestone: | sage-4.7.2 |
Component: | documentation | Keywords: | |
Cc: | Merged in: | sage-4.7.2.alpha3 | |
Authors: | Julian Rueth | Reviewers: | Leif Leonhardy |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
Should one really open a ticket for something like this?
where <repo-name> is the name of the repository you are using, and <format is “html”, “pdf”, [...]
Apply only trac_11816_typo.proper.patch to the Sage library.
Attachments (2)
Change History (7)
Changed 8 years ago by
comment:1 Changed 8 years ago by
- Status changed from new to needs_review
comment:2 in reply to: ↑ description Changed 8 years ago by
- Reviewers set to Leif Leonhardy
- Status changed from needs_review to positive_review
Replying to saraedum:
Should one really open a ticket for something like this?
In principle yes, since otherwise they're likely to stay forever.
In this case, I'm pretty sure I've already corrected it in a not-yet-published version (a reviewer patch I have to provide for another ticket), but haven't found the time to finish it.
Once you start looking for typos, wrong formatting and inconsistencies (or meanwhile obsolete information), you're likely to not get to an end, unfortunately... ;-)
comment:3 Changed 8 years ago by
- Description modified (diff)
comment:4 Changed 8 years ago by
- Merged in set to sage-4.7.2.alpha3
- Resolution set to fixed
- Status changed from positive_review to closed
comment:5 Changed 8 years ago by
- Description modified (diff)
I've attached a *.proper.patch
, which is identical except that I removed the "garbage" before "# HG changeset patch
", i.e., I deleted the first line "exporting patch:
", since Jeroen's current merger rejects such patches.
For now, please make sure all your patches start with "# HG changeset patch
", i.e., have it on the first line without any preceding messages or whatever.
I've relaxed that in my version of the merger, but Jeroen and maybe others are likely to use his more restrictive one.
fixes a typo in the developer's guide