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
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
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.
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
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'
> 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
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