Re: [sage-devel] Re: sage -docbuild useless

2017-08-22 Thread kcrisman
On Monday, August 21, 2017 at 10:09:08 AM UTC-4, Daniel Krenn wrote: > > On 2017-08-21 15:08, Ralf Stephan wrote: > > Ah the citations need a make and will not compile with a simple sage > > -docbuild. So it really is useless and should be disabled to not confuse > > people like me. > > I

Re: [sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Ralf Stephan
No problem, I may have found a bug because of it. On Monday, August 21, 2017 at 4:09:08 PM UTC+2, Daniel Krenn wrote: > > On 2017-08-21 15:08, Ralf Stephan wrote: > > Ah the citations need a make and will not compile with a simple sage > > -docbuild. So it really is useless and should be

Re: [sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Daniel Krenn
On 2017-08-21 15:08, Ralf Stephan wrote: > Ah the citations need a make and will not compile with a simple sage > -docbuild. So it really is useless and should be disabled to not confuse > people like me. I am strongly against disabling "sage -docbuild": When developing and only changing e.g.

[sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Ralf Stephan
Ah the citations need a make and will not compile with a simple sage -docbuild. So it really is useless and should be disabled to not confuse people like me. Regards, On Monday, August 21, 2017 at 3:05:14 PM UTC+2, Ralf Stephan wrote: > > This is peculiar. When I do 'make doc-clean; sage

[sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Ralf Stephan
This is peculiar. When I do 'make doc-clean; sage -docbuild reference' then the abovementioned reference will not compile. But with 'make doc-clean; make doc' in a plain develop branch, then add the reference, finally 'sage -docbuild reference' can compile it. It appears a successful 'make doc'

Re: [sage-devel] Re: sage -docbuild useless

2017-08-21 Thread François Bissey
> On 21/08/2017, at 20:14, Dima Pasechnik wrote: > > > > On Monday, August 21, 2017 at 9:06:21 AM UTC+1, Ralf Stephan wrote: > Hi, > I just had made a rst document in reference that built nicely with sage > -docbuild. It fails with make doc. I consider it a serious bug

[sage-devel] Re: sage -docbuild useless

2017-08-21 Thread Dima Pasechnik
On Monday, August 21, 2017 at 9:06:21 AM UTC+1, Ralf Stephan wrote: > > Hi, > I just had made a rst document in reference that built nicely with sage > -docbuild. It fails with make doc. I consider it a serious bug because it > makes it impossible to refer to other refman documents. Am I