[sage-support] Re: How to refer to the reference manual when writing a tutorial?

2013-02-12 Thread Jason Grout
On 2/9/13 7:57 AM, kcrisman wrote: Maybe #6495 would make this possible? Just a guess. Yes, I just check this. With #6495 in place, I added this to some random file in the developer's guide, rebuilt it, and the link worked: Great! I hope the same holds for

[sage-support] Re: How to refer to the reference manual when writing a tutorial?

2013-02-09 Thread kcrisman
Maybe #6495 would make this possible? Just a guess. Yes, I just check this. With #6495 in place, I added this to some random file in the developer's guide, rebuilt it, and the link worked: Great! I hope the same holds for thematic tutorials... Huh, I didn't expect that, but

Re: [sage-support] Re: How to refer to the reference manual when writing a tutorial?

2013-02-08 Thread Jeroen Demeyer
Maybe #6495 would make this possible? Just a guess. -- You received this message because you are subscribed to the Google Groups sage-support group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this

Re: [sage-support] Re: How to refer to the reference manual when writing a tutorial?

2013-02-08 Thread John H Palmieri
On Friday, February 8, 2013 11:25:15 AM UTC-8, Jeroen Demeyer wrote: Maybe #6495 would make this possible? Just a guess. Yes, I just check this. With #6495 in place, I added this to some random file in the developer's guide, rebuilt it, and the link worked: Testing a link

[sage-support] Re: How to refer to the reference manual when writing a tutorial?

2013-02-08 Thread Simon King
Hi John, hi Jeroen, On 2013-02-08, John H Palmieri jhpalmier...@gmail.com wrote: On Friday, February 8, 2013 11:25:15 AM UTC-8, Jeroen Demeyer wrote: Maybe #6495 would make this possible? Just a guess. Yes, I just check this. With #6495 in place, I added this to some random file in the