Opened 6 years ago

Closed 6 years ago

#15553 closed defect (fixed)

Broken links in the doc of graph/ and numerical/

Reported by: ncohen Owned by:
Priority: trivial Milestone: sage-6.1
Component: documentation Keywords:
Cc: hivert Merged in:
Authors: Nathann Cohen Reviewers: Marc Mezzarobba
Report Upstream: N/A Work issues:
Branch: u/ncohen/15553 (Commits) Commit: 1d5d52a76338cc9a11f2b9cbd56d5f5cced7e7f1
Dependencies: Stopgaps:

Description

When compiling the doc with --warn-links (pretty nice thing, by the way), some broken links appeared in the doc of graphs/ and numerical/. I fixed all I could :-)

Nathann

Change History (7)

comment:1 Changed 6 years ago by ncohen

  • Branch set to u/ncohen/15553
  • Status changed from new to needs_review

comment:2 Changed 6 years ago by git

  • Commit set to 1d5d52a76338cc9a11f2b9cbd56d5f5cced7e7f1

Branch pushed to git repo; I updated commit sha1. New commits:

1d5d52atrac #15553: Broken links in the doc of graph/ and numerical/

comment:3 Changed 6 years ago by mmezzarobba

  • Status changed from needs_review to positive_review

Looks good to me.

comment:4 Changed 6 years ago by ncohen

Thaaaaaaaaaaaaanks !

Nathann

comment:5 Changed 6 years ago by vbraun

  • Reviewers set to Marc Mezzarobba

Fill in your reviewer names, kids ;-)

comment:6 Changed 6 years ago by ncohen

Oh, right. By the way, couldn't we have triggers automatically adding the name of the committer of the branch as the author, in case that it is empty ? I think it's rather safe. I mean, if we only set it when the field was empty and when the branch is first defined on the ticket.

Perhaps we could also script something that sets the reviewer's name (if the field is empty) using the name of the guy who sets the ticket to positive_review, but that would be a trac-only thing and I don't even know if this can be done :-)

Nathann

comment:7 Changed 6 years ago by vbraun

  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.